Starred repositories
A collection of lock-free data structures written in standard C++11
Making service expectation declaration easier.
Development repository for the Triton language and compiler
A simple To-do ChatGPT Plugin using python and deployed on replit.
A beautiful, powerful, self-hosted rom manager and player.
Creusot helps you prove your code is correct in an automated fashion.
An open-source framework for machine learning and other computations on decentralized data.
A partial implementation of Luau typechecker in Agda for machine verification
Scientific Inkscape: Inkscape extensions for figure resizing and editing
A surface language for programming Stan models using python syntax
Dromedary is an experimental subset of OCaml, using constraint-based type inference!
A simple ML featuring constraint-based type inference with suspended constraints and overloading
An extremely fast Python type checker and language server, written in Rust.
HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
A secure, fast, and adaptable OS based on the seL4 microkernel
The FuqIt Web Framework. Shit files into a dir, get some web.
A markup-based typesetting system that is powerful and easy to learn.
This repository provides the code for the paper "Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers". This code implements Phocus which synthesizes precise ab…
my Advent of Code solutions (https://adventofcode.com)