Artificial chemistry game
☆43Aug 23, 2025Updated 9 months ago
Alternatives and similar repositories for livingphysics
Users that are interested in livingphysics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A big integer rational number☆15Jan 24, 2019Updated 7 years ago
- Generate 3d box geometry☆10Jan 5, 2016Updated 10 years ago
- ✂️ Shakes out any unused functions from your GLSL shaders☆13Jun 30, 2016Updated 9 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Generate a model matrix from position, scale, and rotation vectors.☆11Oct 3, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- experiments with http://regl.party☆11Nov 22, 2016Updated 9 years ago
- 🏰 TypeScript typings for regl☆11Nov 11, 2016Updated 9 years ago
- Complementary error function.☆15Feb 23, 2016Updated 10 years ago
- quick 3D earth for GLSL☆13Apr 4, 2015Updated 11 years ago
- Remake, a build system that bridges the gap between make and redo☆29Jul 25, 2025Updated 10 months ago
- Small utility for recording videos in regl☆18Jul 22, 2016Updated 9 years ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Dec 7, 2023Updated 2 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- regl-pipeline is a pass manager and pass dependency graph editor for regl, an API for webgl.☆16Sep 6, 2016Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- build 3d scenes with shapes and lights using stack.gl☆17Dec 16, 2016Updated 9 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- Generating an infinite terrain with biomes and water reflection in OpenGL.☆17Jun 2, 2016Updated 10 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- A comparison between the frameworks Goo Engine, Three.js and Play Canvas☆16Jun 21, 2018Updated 7 years ago
- Solve 24 puzzles using zero-aware pattern databases☆15Nov 19, 2024Updated last year
- Explore tilings on the hyperbolic plane☆86Jun 15, 2020Updated 5 years ago
- visual + audio experiments☆18May 7, 2016Updated 10 years ago
- Tiny, single file, scalable key value store based on HAMTs☆53Jul 17, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Aug 24, 2015Updated 10 years ago
- Some weird animations made with regl and WebGL☆17Aug 8, 2016Updated 9 years ago
- simple binary tree visualizer☆12Jan 19, 2024Updated 2 years ago
- ML Basis for Poly/ML☆14Oct 18, 2025Updated 7 months ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- ☆10May 26, 2016Updated 10 years ago
- The fast way to check if a JS object is numeric☆23Jan 27, 2025Updated last year
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Collection of tiny C ELF programs with graphics output☆33May 15, 2023Updated 3 years ago
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- project 3D point into 2D window space☆10May 14, 2015Updated 11 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Jun 12, 2019Updated 7 years ago
- p2p key/value store for horizontal partitioning☆24Nov 2, 2019Updated 6 years ago
- Unified Maude model-checking tool☆13May 9, 2026Updated last month