A CLI tool for performing bottom-up translation of GNU Guix derivations into Nix.

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

Composable flake outputs using the adios module system — the ergonomics of flake-parts without the evaluation overhead.

If it's on the screen, it's an API. Control any desktop app via REST + MCP. Rust.

Bash for Agents

AI agents and Nix: parametrable skills/instructions and tools, packaged together in a reproducible and modular fashion

Imandra proofs of the Top 100 Theorems

An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.

(Mirror) A Nix library for creating reproducible Julia builds and experiments via precompilation.

Dotfiles managed via Nix-Darwin and Mk-Darwin-System, for schoolwork and kotlin, lua, and rust programming

Window management made elegant.

The Lux Programming Language

A static, type inferred and embeddable language written in Rust.

Explore the (overlay) filesystem and layers of OCI container images, without running them.

Illegal rust

Go, with the features it's missing.

Programming and interaction language. Flexible about syntax, strict about state.

do-notation for Category and "Arrow without arr"

Agda encoding of premonoidal categories

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

This is the ual programming language

Migrate a project from Poetry/Pipenv/pip-tools/pip to uv package manager

Nix wrapping suitable for multi-package dune repositories

Stack language compiled to lua

Roadmap to ekapkgs being fully available

Cure language compiling to BEAM with FSM primitives and Dependent types

an implementation of stuck macros

an arrowized category-forward language

High-Performance LISP-like language for Scientific Computing and AI written in C++