Max Heiber's repositories
redux-machine
A tiny library (12 lines) for creating state machines in Redux apps
eqwalizer
A type-checker for Erlang
async-book
Asynchronous Programming in Rust
base
Standard library for OCaml
counterexamples
Counterexamples in Type Systems
girards-paradox
A "implementation" of Girard's paradox in OCaml
hhvm
A virtual machine for executing programs written in Hack.
merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml
The core OCaml system: compilers, runtime system, base libraries
oreilly-qc.github.io
Code samples for Programming Quantum Computers, from O'Reilly Media
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
ppx_import
Less redundancy in type declarations and signatures
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
raylean
Lean4 bindings for raylib
SLOT
Formally verified model checker
throwaway-scopes
throwaway-scopes
vscode-extension-samples
Sample code illustrating the VS Code extension API.
vscode-languageserver-node
Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js