Stars
UlamAI is an open-source Lean theorem prover and formalizer.
A lightweight self-hosted bot in a single binary, written in Go.
a zero-knowledge proof-carrying code platform for Lean 4
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Lean 4 theorem proving skill and workflow pack for AI coding agents
A collection of formalized statements of conjectures in Lean.
aider is AI pair programming in your terminal
Mujoco sim environment for imitation learning and reinforcement learning with so101 and so100 robots.
XLeRobot: Practical Dual-Arm Mobile Home Robot for $660
🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning
An open-source AI agent that brings the power of Gemini directly into your terminal.
The Software Ontology (SWO) is a resource for describing software tools, their types, tasks, versions, licences, provenance and associated data.
Program to crack a Playfair cipher using Simulated Annealing
Multiplatform desktop app for systematic literature collection.
OpenAlex Networks is a helper library to process and obtain data from the OpenAlex dataset via API. It also provides functionality to generate citation and coauthorship networks from queries.