A website for the #proglangdesign community on freenode

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Create book from markdown files. Like Gitbook but implemented in Rust

Wadler-style pretty-printing combinators in Rust

Assorted immutable collection datatypes for Rust

The Kotlin Programming Language Website

LR(1) parser generator for Rust

Combinators for manipulating locally-nameless generalized de Bruijn terms

Dependently Typed Lambda Calculus in Haskell

A static, type inferred and embeddable language written in Rust.

Purescript for Elm devs. 🚀

Rust bindings for ImGui

An HTTP library for Rust

Linear algebra library for computer physics, computer graphics and data analysis for Rust.

Window handling library in pure Rust

Pure Rust alternative to GLFW

Abstract algebra for Rust.

Next generation File System — with support for O(1) snapshots, error correction, encryption, caching, and more. — contains official implementation of SeaHash

A safe, extensible ORM and Query Builder for Rust

Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.

College assignment writing in which I ramble about type classes and dependent types.