Stars
Yet another C++ cross platform graphical/game engine
A blazing fast AI Gateway with integrated guardrails. Route to 200+ LLMs, 50+ AI Guardrails with 1 fast & friendly API.
Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.
Mahjong game simulator for RiichiLab https://mjai.app
JUCE is an open-source cross-platform C++ application framework for desktop and mobile applications, including VST, VST3, AU, AUv3, LV2 and AAX audio plug-ins.
High-performance high-order finite element solver for hyperbolic conservation equations
pySMT: A library for SMT formulae manipulation and solving
Lean theorem proving interface which feels like pen-and-paper proofs.
An introduction to theorem proving in Lean for the impatient.
An applied Linear Algebra textbook flavored with Earth Science topics
Code to automatically prove or verify estimates in analysis
Gaming meets modern C++ - a fast and reliable entity component system (ECS) and much more
Canonical sources for HOL4 theorem-proving system. Branch develop is where āmainline developmentā occurs; when develop passes our regression tests, master is merged forward to catch up.
blueprint for prime number theorem and more
synthesiseable ieee 754 floating point library in verilog
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Behavior Trees Library in C++. Batteries included.
Helper toolkit for creating your own Lean 4 UserWidgets