Inline methods in compile time

An interpreter for Janus, the reversible programming language.

A computer architecture designed to implement reversible computing principles

Chez Scheme

A differential eDSL that can run faster than light and go back to the past.

A Java Virtual Machine and Bytecode-to-IL Converter for .NET

A type-safe, reflection-free, powerful enumeration implementation for Scala with exhaustive pattern match warnings and helpful integrations.

A new type of shell

sv plugin to rizz up your ass map in Quaver

Refactoring and linting tool for Scala

A plugin for Godot 4.x. SignalVisualizer displays the current scene's signals and connections in a easy to read graph and tree dock.

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

Procedural generation add-on for Godot 4.

UPX - the Ultimate Packer for eXecutables

The ultimate Quaver plugin for editing SVs. Remastered with many new features.

Data structures for pure functional programming in Scala

Generic programming for Scala

In-editor scripting and sandboxing for Godot

Easily consume JSON data on-demand with type-safety

Monad morphisms

Haskell's IO simulator which closely follows core packages (base, async, stm).

The missing tutorial module for the lens library

A type-safe, non-TH Haskell SQL library and ORM

Haskell Database Connectivity

A Haskell library for creating WebSocket-capable servers

A fast and modern parser combinator library for Scala

Reimplementation of Parsley in Haskell, with improvements

book and codes for Modern Compiler Implementation in C