Xiaomi Home Integration for Home Assistant

Indoor Air Quality Sensor Component for Home Assistant

A formalisation of a dependent type theory with ghost types

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

Logical Relation for MLTT in Coq

These are my dotfiles, there are many like them but these ones are mine

Minimal implementations for dependent type checking and elaboration

A formalisation of the Calculus of Constructions

A music programming language for musicians. 🎶

Demo for high-performance type theory elaboration

Turn opam-based OCaml projects into Nix derivations

A reflection-based proof tactic for lattices in Coq

The main repository for the development of the evolution game Thrive.

Examples of Dependently-typed programs in Haskell

What I Wish I Knew When Learning Haskell

A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.

The lightweight Arch Linux based distro that runs, without root privileges, on top of any other Linux distro.

A modded Python interpreter that supports symbolic execution.

🏹 Better dates & times for Python

Small portable multiple-precision unsigned integer arithmetic in C

Spectral warping wavetable synth

A static analyzer for Java, C, C++, and Objective-C

Curated list of project-based tutorials

Proof that STLC is normalizing in Fstar

Implementation of Lightweight Modular Staging (LMS) in Python

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Proton Mail Bridge application

Functional programming language for signal processing and sound synthesis

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.