gvelesandro / constructor-theory-simulatorLinks
☆69Updated 3 months 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 8 months ago
- Rewriting Principia Mathematica in Lean☆138Updated last week
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆364Updated 3 months ago
- Algorithms as instruments.☆125Updated 11 months ago
- ☆96Updated last year
- A colorful interactive physics simulator with thousands of balls, but in your terminal!☆97Updated 3 weeks ago
- Dead Simple LLM Abliteration☆248Updated 11 months ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆157Updated 5 months ago
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆64Updated 11 months ago
- Advanced Python Function Debugging with MCP Integration.☆58Updated 7 months ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆231Updated 6 months ago
- ☆36Updated this week
- ☆53Updated last year
- ☆154Updated last year
- Visual inference exploration & experimentation playground☆97Updated last year
- Live image description solution using ESP32-CAM + Phone + Server☆44Updated last year
- 🪝"mnist" in 60 lines of code, no dependencies. For educational purposes.☆31Updated last year
- Sequential Logic☆114Updated 2 weeks ago
- This project visualizes 100,000 real galaxies in blue and 100,000 randomly distributed galaxies in red. The data is sourced from the GPU …☆91Updated last week
- Hand-written email client on a reMarkable or tablet of your choice☆60Updated last year
- ☆200Updated 9 months ago
- VortexNet: Neural Computing through Fluid Dynamics☆47Updated last year
- A collection of fluid simulations☆59Updated 4 months ago
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Updated 11 months ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆134Updated 2 months ago
- LLM plugin for pulling content from Hacker News☆125Updated 9 months ago
- ☆163Updated 10 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 11 months ago
- Modern declarative (React-like) Tcl/Tk interface for Python☆91Updated 9 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆240Updated 2 years ago