sortedcord/omnia-consolidated
1
0
Fork 0
mirror of https://github.com/sortedcord/omnia.git synced 2026-07-22 03:52:48 +05:30
Code Issues Packages Projects Releases Wiki Activity
92 Commits 7 Branches 0 Tags
ea817d8044702d00471a62bd149b13d7b70ee95f
Commit Graph

4 Commits

Author SHA1 Message Date
Aditya Gupta
7df685365e refactor(llm): Unify auto-bootstrapped prover instances and custom instances 2026-07-10 22:27:24 +05:30
Aditya Gupta
ebd0b76c23 minor: Updated favicon for web interfaces 2026-07-10 07:51:59 +05:30
Aditya Gupta
30e26f78f9 minor: remove redundant pnpm scripts 2026-07-09 21:12:59 +05:30
Aditya Gupta
4ef52f926e MAJOR: Added a GUI app for simulations 2026-07-09 18:14:26 +05:30