gvelesandro / constructor-theory-simulatorLinks
☆68Updated last month
Alternatives and similar repositories for constructor-theory-simulator
Users that are interested in constructor-theory-simulator are comparing it to the libraries listed below
Sorting:
- ☆125Updated 6 months ago
- Dead Simple LLM Abliteration☆241Updated 9 months ago
- Rewriting Principia Mathematica in Lean☆136Updated 2 months ago
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆357Updated last month
- ☆96Updated last year
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- ☆52Updated last year
- Algorithms as instruments.☆125Updated 9 months ago
- LLM plugin for pulling content from Hacker News☆121Updated 6 months ago
- Advanced Python Function Debugging with MCP Integration.☆57Updated 5 months ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 2 months ago
- A collection of fluid simulations☆59Updated last month
- Quickly render fractals in CUDA☆64Updated 4 months ago
- A collection of impls to get the current moon phase☆85Updated 3 weeks ago
- LLM-generated real-time commentary for Pong☆151Updated 7 months ago
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- Sequential Logic☆114Updated 3 weeks ago
- Text Adventure game in SWI Prolog.☆102Updated 2 years ago
- ☆35Updated last month
- A data and code editor that feels like a spreadsheet.☆182Updated last year
- A tangible interface for virtual things☆140Updated this week
- ☆36Updated 2 months ago
- 100k real ( +100k random ) galaxies from a sector. Visualized with Raylib.☆88Updated 2 months ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆152Updated 2 months ago
- Visual inference exploration & experimentation playground☆96Updated last year
- Hand-written email client on a reMarkable or tablet of your choice☆60Updated 9 months ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆64Updated 9 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆238Updated 2 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year