A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

PDF references add-on for Zotero.

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

A wiki for collaborative work on totally legitimate "category theory"

Weighs the soul of incoming HTTP requests to stop AI crawlers

Goldbach conjecture = 25-state turing machine

A fast, safe, and intuitive DataFrame library.

An up-to-date listing of all the various Bluetooth Specification-related elements that are defined by our industry (Company IDs, Service UUIDs, Characteristic UUIDs and Descriptor UUIDs), that you …

Rust D-Bus crate.

Combinatorial game library in Lean 4

Run nixpkgs-review in GitHub Actions

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

Typst document building in nix

The Serenity Operating System 🐞

A cross platform lightweight single-header simple-to-use window abstraction library for creating graphical programs or libraries.

Haskell implemented with combinators

Turso is an in-process SQL database, compatible with SQLite.

A complete harfbuzz's shaping algorithm port to Rust

A tiny Skia subset ported to Rust

TeXpresso: live rendering and error reporting for LaTeX

An implementation of Python's doctest for Haskell

Emacs direct libssh remote access

A high performance rust-powered UI layout library

A utility for displaying the module dependencies of Haskell programs.