gvelesandro / constructor-theory-simulatorLinks
☆68Updated 2 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 6 months ago
- Rewriting Principia Mathematica in Lean☆136Updated 3 months ago
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆364Updated 2 months ago
- Sequential Logic☆114Updated last week
- Algorithms as instruments.☆125Updated 9 months ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆153Updated 3 months ago
- ☆35Updated last month
- A collection of impls to get the current moon phase☆84Updated last month
- ☆154Updated last year
- Quickly render fractals in CUDA☆64Updated 4 months ago
- A collection of fluid simulations☆59Updated 2 months ago
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆64Updated 9 months ago
- ☆96Updated last year
- Dead Simple LLM Abliteration☆244Updated 10 months ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆227Updated 4 months ago
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- This project visualizes 100,000 real galaxies in blue and 100,000 randomly distributed galaxies in red. The data is sourced from the GPU …☆88Updated 3 months ago
- ☆199Updated 7 months ago
- Text Adventure game in SWI Prolog.☆102Updated 2 years ago
- A data and code editor that feels like a spreadsheet.☆184Updated last year
- ☆52Updated last year
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆134Updated 2 weeks ago
- Hand-written email client on a reMarkable or tablet of your choice☆60Updated 10 months ago
- Visual inference exploration & experimentation playground☆96Updated last year
- Modern declarative (React-like) Tcl/Tk interface for Python☆91Updated 7 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- Implement recursion using English as the programming language and an LLM as the runtime.☆238Updated 2 years ago
- Docker-based inference engine for AMD GPUs☆230Updated last year
- LLM plugin for pulling content from Hacker News☆122Updated 7 months ago
- Sort input lines semantically with llm☆120Updated 6 months ago