Python tool to screenshot Tetris boards and generate fumen strings from it

The tiny-json is a versatile and easy to use json parser in C suitable for embedded systems. It is fast, robust and portable.

C library used to code JSON objects in null-terminated strings

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

A virtual machine for executing programs written in Hack.

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Specification for the Tetris Bot Protocol

Rust crate for serializing/deserializing TBP messages.

Tetris Bot

four-tris is a training tool for block-stacking games, built to allow you to quickly explore different situations and review your games.

Discord bot for the Underdogs Cup Discord server

Converting Defensive Racket Code to Contracts

Agda bindings to SMT-LIB2 compatible solvers.

The best coding experience for Racket in VS Code

A text enhancement tool.

The live data layer for apps and AI agents. Create up-to-the-second views into your business, just using SQL

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

Decomposition diversity with symmetric data and codata

A Coq to Cedille compiler written in Coq

Yoga is an embeddable layout engine targeting web standards.

Research language for array processing in the Haskell/ML family

Linear algebra formalization in Agda

A collection of core libraries for Racket

REST'ful web framework in Agda

A discord library for racket

Miller/pattern unification in Agda

💬 ‎ Modern, responsive, cross-platform, self-hosted web IRC client

Bindings to Haskell's IO monad which respect Agda's semantics