A curated list of TLA+ resources.

Local-first code intelligence graph for MCP and CLI. Builds a persistent map of your codebase so AI coding tools read only what matters, with benchmarked context reductions on reviews and large-rep…

so-vits-svc fork with realtime support, improved interface and more features.

DeDRM tools for ebooks

AI framework for Reinforcement Learning, Automated Planning and Scheduling

BillionMail gives you open-source MailServer, NewsLetter, Email Marketing — fully self-hosted, dev-friendly, and free from monthly fees. Join the discord: https://discord.gg/asfXzBUhZr

A Collection Of The State-of-the-art Metaheuristic Algorithms In Python (Metaheuristic/Optimizer/Nature-inspired/Biology)

A Rust framework for correct and performant distributed systems

Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.

Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine

Focalboard is an open source, self-hosted alternative to Trello, Notion, and Asana.

🧮 Path to a free self-taught education in Mathematics!

An educational OLAP database system.

rust raft with improvements

A course to build the SQL layer of a distributed database.

A course to build distributed key-value service based on TiKV model

A simple engine for shortest path using OpenStreetMap data

A modular Python package for the development of metaheuristic algorithms for Vehicle Routing Problems with Intermediate Stops

learn database internals by building a storage engine in Rust

Python code for "Probabilistic Machine learning" book by Kevin Murphy

Contraction Hierarchies (with bidirectional version of Dijkstra's algorithm) technique for computing shortest path in graph.

"Probabilistic Machine Learning" - a book series by Kevin Murphy

advanced compilers

Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation

Test cases for Writing a C Compiler

Reference implementation for Writing a C Compiler

Go heap dump viewer with object graphs. (Works with Go 1.21)

Blazing fast and lightweight PostGIS, MBtiles and PMtiles tile server, tile generation, and mbtiles tooling.

Moved to @serenedb - https://github.com/serenedb/serenedb

Data for place names from OpenStreetMap prepared for fulltext search. Downloadable. Ranked. With bbox and hierarchy. Ready for geocoding.