Starred repositories
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Crucible is a library for symbolic simulation of imperative programs
Architecture integration workbench for new Hazel features
🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!
Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.
Extra foreign primops for primitive arrays.
a tiny tool for visualising substructual sharing in data structures 🕵️♀️
A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library
Random crossword puzzle generation in Haskell via the Logic Monad
An imperative language for quantitative information flow.
vjackson725 / kuifje-compiler
Forked from HDSpray/KuifjeAn imperative language for quantitative information flow.
A minimal, ceremonial language that flows into Cardano. Smart contracts written in your voice.
A proof-of-concept formal verification tool for WebAssembly.
A library for interacting with Nintendo Switch controllers, written in Haskell.
Example of using Yampa and GHC Wasm backend to create a simple web app.
A terminal based mail user agent based on notmuch
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
A lightweight TUI application to view and query tabular data files, such as CSV, TSV, and parquet.
Cryptography that's easy to digest (NaCl/libsodium bindings)
HTTP client for haskell, inpired by requests and http-dispatch.
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
A minimalistic pure total functional programming language intended to be used as a backend for more practical languages.
LambdaBuffers toolkit for sharing types and their semantics between different languages