sortedcord/omnia-consolidated
1
0
Fork 0
mirror of https://github.com/sortedcord/omnia.git synced 2026-07-22 12:02:49 +05:30
Code Issues Packages Projects Releases Wiki Activity
95 Commits 7 Branches 0 Tags
27c8bb1cb8b7636590472e60eb64218dc504bcd3
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