A community driven list of useful Emacs packages, libraries and other items.

My Emacs configurations written in Org mode

SM Tap Dance user library for QMK

A brief guide on flashing the rp2040 pro micro we sell.

My general config and dotfiles for linux

MirageOS is a library operating system that constructs unikernels

Effects-based direct-style IO for multicore OCaml

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

The Scala 3 compiler, also known as Dotty.

⚡ Dynamically generated stats for your github readmes

The core OCaml system: compilers, runtime system, base libraries

A markup-based typesetting system that is powerful and easy to learn.

Static website generator based on HTML element tree rewriting

Hazel, a live functional programming environment with typed holes