A chess library written in Rust, oriented to creating and solving chess compositions with especial emphasis on retrograde analysis.

A chess library written in OCaml, oriented to creating and solving chess compositions with especial emphasis on retrograde analysis

A website showcasing nested stories: fictional movies within movies and shows within shows.

OpenGL text using one vertex buffer, one texture and FreeType

The program FORKLIFT is an inclusion checker for Büchi automata. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format

Ebitengine - A dead simple 2D game engine for Go

A ω-regular language inclusion checker

A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸

Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a g…

Tool that allows you to add more games to your NES/SNES Classic Mini

Rust ❤️ Emacs

A framework for distributed systems verification, with fault injection

A list of papers about distributed consensus.

Open-source KVM software

Minimalist Go package aimed at creating Console User Interfaces.

An implementation of the BitTorrent protocol that is optimised for streaming media.

C-Reduce, a C and C program reducer

a thread-safe concurrent map for go

Offline documentation browser inspired by Dash

The lazier way to manage everything docker

The rewritten engine, originally for tensorflow. Now all other backends have been ported here.

An open source re-implementation of Caesar III

n³ The unorthodox terminal file manager

🦆 DuckDuckGo from the terminal

A fully-modern text-based browser, rendering to TTY and browsers

Yet another Yogurt - An AUR Helper written in Go

A script that tells if your computer is on

Open-source re-implementation of The Elder Scrolls: Arena.

Chocolate Doom is a Doom source port that is minimalist and historically accurate.