gvelesandro / constructor-theory-simulatorLinks
☆68Updated 3 weeks ago
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:
- ☆126Updated 5 months ago
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆350Updated 3 weeks ago
- Dead Simple LLM Abliteration☆235Updated 8 months ago
- Rewriting Principia Mathematica in Lean☆135Updated last month
- ☆96Updated last year
- ☆35Updated last week
- LLM plugin for pulling content from Hacker News☆121Updated 6 months ago
- Algorithms as instruments.☆125Updated 8 months ago
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆64Updated 8 months ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆224Updated 3 months ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆134Updated last week
- 🪝"mnist" in 60 lines of code, no dependencies. For educational purposes.☆31Updated last year
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Updated 8 months ago
- Sequential Logic☆114Updated this week
- Docker-based inference engine for AMD GPUs☆230Updated last year
- ☆36Updated 2 months ago
- ☆198Updated 6 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆237Updated 2 years ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆150Updated 2 months ago
- Advanced Python Function Debugging with MCP Integration.☆57Updated 4 months ago
- A data and code editor that feels like a spreadsheet.☆182Updated last year
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- 100k real ( +100k random ) galaxies from a sector. Visualized with Raylib.☆88Updated last month
- Visual inference exploration & experimentation playground☆96Updated 11 months ago
- Mentra Smart Glasses Hackathon - sheet music in AR☆69Updated 6 months ago
- ☆52Updated last year
- ☆161Updated 7 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year
- Tamagotchi-style digital pet with a neural network featuring neurogenesis & Hebbian learning☆259Updated last month
- LLM-generated real-time commentary for Pong☆151Updated 6 months ago