graph based intermediate representation and backend for optimising compilers

A collection of out-of-tree LLVM passes for teaching and learning

Compiler and tooling for the Myte programming language.

Quick C-- compiler (no longer maintained)

A Simple showcase for the Sea-of-Nodes compiler IR

Haskell interval collections

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

The CompCert formally-verified C compiler

🔬 A fast, interactive web-based viewer for performance profiles.

Haskell library implementing "Data Types a la Carte"

An easy to use, cross platform, GUI library for writing Haskell applications.

💥💻💥 A data-parallel functional programming language

OCaml graph library

Translates WebAssembly modules to portable C

A modern template for a Servant

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

Reagents for multicore OCaml

The OCaml-Canvas library provides a portable Canvas for OCaml

js_of_ocaml bindings for ReactJS. Based on ReasonReact.

Project Loom Experiment using Spring Boot, Spring WebMVC, and Postgres

A multithreaded Minecraft server built for redstone.

hspp: An experimental library to bring Haskell Style Programming to C++.

Simple interoperability between C++ coroutines and asynchronous Rust

APIs for more recursive definitions

System for collecting, deriving and working with facts about source code.

USB library for Java

Machinery for throwing and catching exceptions with some annotation.

Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust