VS Code extension for the Par programming language

A tiny lazy objective functional language

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

⅋ — session types for Rust

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.

The React Framework

Immediate Mode GUI for Pixel

A free and strong UCI chess engine

Go package to generate and manage color palettes & schemes 🎨

What if you never had to write CSS again?

Responsive and reliable web apps with Elm and Twitter Bootstrap

Agda is a dependently typed programming language / interactive theorem prover.

A hand-crafted 2D game library in Go

A little package that brings sound to any Go application. Suitable for playback and audio-processing.

Source Code of GNU TeXmacs, Developers Guide ==>

A simple game for OŠP

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

Yaegi is Another Elegant Go Interpreter

Koka language compiler and interpreter