A ROM Hack based on the Kanto Expansion Pak Showdown Mod, started by @MementoMartha. Uses @pret's pokered disassembly.

Distributed deadlock detection via asynchronous (pitch)black-box monitors

JoinActors: Fair Join Pattern Matching for Actors

Mathematical Components

Colourful and legible themes for GNU Emacs

A small, modern Emacs configuration

Analysis of various tricky Rust code

An incremental parsing system for programming tools

Empowering everyone to build reliable and efficient software.

matplotlib subplots() but axsize= instead of figsize=

🪄 Spin up ready-to-code, disposable dev environments on your own servers. Self-hosted alternative to Gitpod and Github Codespaces.

RARS -- RISC-V Assembler and Runtime Simulator

Installer & meta-package for the nwg-shell project: a GTK3-based shell for sway and Hyprland Wayland compositors

tar creator+extractor in ~100 lines of prolog

Safe Rust bridge for creating Erlang NIF functions

Parse transform utilities for Erlang

argparse: simple framework to create complex CLI

Demoscene: Lambda Team

A compiler for thin Symbolic Expressions abstraction layer over Lambda calculus.

R package - MonteCarlo estimation of Down and In Barrier Option

Emacs OCaml mode

An attempt at a game in Haskell in the form of a short demo. It uses an ECS library called Apecs along with a wrapper for SDL2.

Programming language for literate programming law specification

NullPointerExceptions in Haskell

Erlang foreign function interface.