Starred repositories
Large language models designed for formal theorem proving through tool-integrated reasoning.
33
Updated Aug 13, 2025
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Astronomy Engine: multi-language calculation of Sun, Moon, and planet positions. Predicts lunar phases, eclipses, transits, oppositions, conjunctions, equinoxes, solstices, rise/set times, and othe…
Modular implementation of ActivityPub in C#
a truly censorship-resistant alternative to Twitter that has a chance of working
Lean 4 programming language and theorem prover
Obsidian plugin to fetch articles and highlights from Omnivore
A secure, decentralized protocol for trustless subscriptions and automated recurring payments for circles users.
Common tests for all Ethereum implementations
A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
Virtual whiteboard for sketching hand-drawn like diagrams
Letterhead, template, form, autotext, mail merge,... extension for LibreOffice
Embedded property graph database built for speed. Vector search and full-text search built in. Implements Cypher.
Embeddable Postgres with real-time, reactive bindings.
A framework for simulations on Circles Network
A fast, secure, and portable multichain light client for Ethereum
An eBPF🐝 Keylogger with C2-based RCE payload delivery
Simulation tool for CirclesUBI system using the Mesa ABM