Specification for interoperability of common algebraic structures in JavaScript

🏝 一个简洁强大的网页音乐播放器

Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction

The fullstack meta-framework for Angular. Powered by Vite and Nitro

歌词滚动姬｜可能是你所能见到的最好用的歌词制作工具

A menagerie of cute implementations of modern typechecking algorithms

Implementations of various type systems in OCaml.

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

TEA web UI framework for MoonBit

Legado 3.0 Book Reader with powerful controls & full functions❤️阅读3.0, 阅读是一款可以自定义来源阅读网络内容的工具，为广大网络文学爱好者提供一种方便、快捷舒适的试读体验。

The Flix Programming Language

A friendly programming language from the future

Koka language compiler and interpreter

A standalone Luau runtime for general-purpose programming

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

A tiny virtual DOM library

Really FastCGI servers in Rust

Rust Implementation of the Buttplug Sex Toy Control Protocol

A virtual machine for executing programs written in Hack.

Simple, elegant, Pythonic functional programming.

The compiler for Teal, a typed dialect of Lua

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

🌙 A language that compiles to Lua

CGI Node.js complete module to replace PHP on shared hosting such as GoDaddy

🚀 Coroutine-based concurrency library for PHP

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.

🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.

✨Functional and composable type utilities