Pruna is a model optimization framework built for developers, enabling you to deliver faster, more efficient models with minimal overhead.

The APL programming language (a subset thereof) compiling to Common Lisp.

Verifying the SCION architecture using Gobra

⚡️ Moldable Live Programming for Clojure

Emacs minor-mode to summon and dismiss buffers easily.

Embedded drawing tool for Emacs

HTTP REST client tool for emacs

The Z3 Theorem Prover

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them

Recipes and build machinery for the biggest Emacs package repo