A statically typed lisp, without a GC, for real-time applications.

ZIO — A type-safe, composable library for async and concurrent programming in Scala

A beautiful replacement for JavaScript's "alert"

Emacs interface to todoist

Linux tool for controlling PS5 DualSense controller

The systemd System and Service Manager

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

Tup is a file-based build system.

Makefile for Arduino sketches. It defines the workflows for compiling code, flashing it to Arduino and even communicating through Serial.

Systems language with linear types and capability-based security.

Shell script to set up a Raspberry Pi/Odroid/PC with RetroArch emulator and various cores

Run ollama natively - powered by Nix

NixOS-like services for Nix flakes

An easy to use, cross platform, GUI library for writing Haskell applications.

An affordable split 36 keys keyboard

An advanced keyboard manager

Lossless keyboard input for Emacs

📃 White paper for Backend developers

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

High performance, concurrent functional programming abstractions

Open Source Identity and Access Management For Modern Applications and Services

Access unicode character database

An open source payments switch written in Rust to make payments fast, reliable and affordable

Simple notes for Emacs with an efficient file-naming scheme

Build & ship backends without writing any infrastructure files.

Trivial tool for synchronizing the clipboard between two X11 sessions

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs

Progressive enhancement for HTML

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar