Stars
VS Code extension for the Par programming language
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
PEG parser combinators using operator overloading without macros.
historical archive of rust pre-publication development
A little package that brings sound to any Go application. Suitable for playback and audio-processing.
A native Rust UI library with fine-grained reactivity
Empowering everyone to build reliable and efficient software.
Rust / Wasm framework for creating reliable and efficient web applications
A massively parallel, optimal functional runtime in Rust
The library for web and native user interfaces.
A free and strong UCI chess engine
Go package to generate and manage color palettes & schemes 🎨
Responsive and reliable web apps with Elm and Twitter Bootstrap
Agda is a dependently typed programming language / interactive theorem prover.
A little package that brings sound to any Go application. Suitable for playback and audio-processing.
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
A Dependently Typed Functional Programming Language