Stars
A new markup-based typesetting system that is powerful and easy to learn.
Elegant error/exception handling in Elixir, with result monads.
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Robust Speech Recognition via Large-Scale Weak Supervision
a web-based tool for processing images and converting documents with a simple interface
Extracts dominating colors from an image and presents them as a palette.
BandLogos is a simple application that generate a banner of logos based on your last.fm statistics. At its peak, it had over 100k users.
A pure Elixir implementation of Google Protobuf.
Data generation and property-based testing for Elixir. 🔮
A script to fix relative imports (from and to nested sub-directories) within compiled `*_pb2.py` Protobuf files.
A chess library for Python, with move generation and validation, PGN parsing and writing, Polyglot opening book reading, Gaviota tablebase probing, Syzygy tablebase probing, and UCI/XBoard engine c…
A free J2ME emulator with libretro, awt and sdl2 frontends.
Render LaTeX and TikZ diagrams in your notes
A pluggable linter and fixer to enforce Protocol Buffer style and conventions.
MongoDB Atlas CLI enables you to manage your MongoDB in the Cloud
Dataframes powered by a multithreaded, vectorized query engine, written in Rust