OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

Updated p0f3 signatures and pkappa2 importer

Yaegi is Another Elegant Go Interpreter

A Python library to debug binary executables, your own way.

Godot engine addon to randomly fill an area with props or other scenes

Cat's loosely coupled souls-like game template/asset pack for the Godot Engine.

Full Django in a single file - views, models, API ,with async support. Automatically convert it to a full project.

A Low Barrier Proof Assistant

Threat-informed defense for cloudnative: Reference Implementation of a so-called Honeycluster - The detection capabilities can also be used as a SOC

FFI for Lean 4

Write C shims from within Lean code.

Terrain rendering algorithm in less than 20 lines of code

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

Experiments on automation for Lean

Effect monads with specifications (DIjkstra Monads) in Lean 4

Lean 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