Terrain rendering algorithm in less than 20 lines of code

Nix - Static, Permissionless, Installation-free, Pre-configured

Experiments in automation for Lean

Effect monads with specifications (DIjkstra Monads) in Lean 4

The Lean 4 web editor

Common Lisp implementation of the Forth 2012 Standard

Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.

The C Macro

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

A modular Common Lisp game engine

A library to assist writing memory-unsafe code in "pure" python, without any imports (i.e. no ctypes etc.)

FUSE driver to access PostgreSQL databases as a file system

Backup and Migrate IMAP Email Accounts

Large language model code completion for Emacs

NixOS MicroVMs

C in four functions

A Bestiary of Single-File Implementations of Programming Languages

Inline dependencies for small Python scripts.

Public open-source code of malware Stuxnet (aka MyRTUs).

Install & Run nix without root permissions [maintainer=@Mic92]

Docker build wrapper

Compile a subset of the Python AST to x64-64 assembler

Shadow is a new novel web engine made (almost) entirely in JS from scratch

Defines the Rust borrow checker.

Python pipe command line tool

Brings native understanding of Nix packages to containerd

docker systemctl replacement - allows to deploy to systemd-controlled containers without starting an actual systemd daemon (e.g. centos7, ubuntu16)