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☆136Updated last week
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆362Updated 3 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- Sequential Logic☆114Updated this week
- This project visualizes 100,000 real galaxies in blue and 100,000 randomly distributed galaxies in red. The data is sourced from the GPU …☆90Updated last week
- Algorithms as instruments.☆125Updated 10 months ago
- A colorful interactive physics simulator with thousands of balls, but in your terminal!☆89Updated last week
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆64Updated 11 months ago
- ☆35Updated 2 months ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆157Updated 4 months ago
- A collection of impls to get the current moon phase☆84Updated 2 months ago
- Dead Simple LLM Abliteration☆247Updated 11 months ago
- ☆200Updated 8 months ago
- Fact Graph☆377Updated 3 months ago
- ☆96Updated last year
- Text Adventure game in SWI Prolog.☆103Updated 2 years ago
- LLM plugin for pulling content from Hacker News☆124Updated 8 months ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆92Updated 4 months ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆231Updated 5 months ago
- Advanced Python Function Debugging with MCP Integration.☆58Updated 7 months ago
- Visual inference exploration & experimentation playground☆97Updated last year
- LLM-generated real-time commentary for Pong☆151Updated 8 months ago
- A collection of fluid simulations☆59Updated 3 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆240Updated 2 years ago
- Telling the time from an image with computer vision (PyTorch + OpenCV)☆42Updated 4 years ago
- Docker-based inference engine for AMD GPUs☆231Updated last year
- A data and code editor that feels like a spreadsheet.☆185Updated last year
- ☆53Updated last year
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆64Updated 2 years ago