mheiber

redux-machine

A tiny library (12 lines) for creating state machines in Redux apps

analogue

tree-sitter-error-recovery-example

eqwalizer

A type-checker for Erlang

async-book

Asynchronous Programming in Rust

attapl

base

Standard library for OCaml

book

The Rust Programming Language

cablecarconf

counterexamples

Counterexamples in Type Systems

dotfiles

dune-wrapped-library-example

girards-paradox

A "implementation" of Girard's paradox in OCaml

hhvm

A virtual machine for executing programs written in Hack.

lark

A demand-driven compiler with strong IDE support

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

otp

Erlang/OTP

ppx_import

Less redundancy in type declarations and signatures

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

rust-analyzer

A Rust compiler front-end for IDEs

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

salsa

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

shibbyt

Shibby free Tidybt for lofi MacOS desktop backgrounds

SLOT

Formally verified model checker

throwaway-record-subtyping

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