Artificial chemistry game
☆42Aug 23, 2025Updated 6 months ago
Alternatives and similar repositories for livingphysics
Users that are interested in livingphysics are comparing it to the libraries listed below
Sorting:
- A big integer rational number☆15Jan 24, 2019Updated 7 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- 🏰 TypeScript typings for regl☆11Nov 11, 2016Updated 9 years ago
- Generate 3d box geometry☆10Jan 5, 2016Updated 10 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- Generate a model matrix from position, scale, and rotation vectors.☆11Oct 3, 2016Updated 9 years ago
- experiments with http://regl.party☆11Nov 22, 2016Updated 9 years ago
- Stochastic trace estimation using JAX☆17Aug 20, 2025Updated 6 months ago
- Unsupported. A python module for controlling "MagicLight Wifi Smart LED Light Bulbs" for getting around the Android or iOS app.☆10Jun 7, 2018Updated 7 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
- simple binary tree visualizer☆12Jan 19, 2024Updated 2 years ago
- ✂️ Shakes out any unused functions from your GLSL shaders☆13Jun 30, 2016Updated 9 years ago
- Complementary error function.☆15Feb 23, 2016Updated 10 years ago
- quick 3D earth for GLSL☆13Apr 4, 2015Updated 10 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- A comparison between the frameworks Goo Engine, Three.js and Play Canvas☆16Jun 21, 2018Updated 7 years ago
- ☆18Apr 19, 2024Updated last year
- Small utility for recording videos in regl☆18Jul 22, 2016Updated 9 years ago
- Remake, a build system that bridges the gap between make and redo☆29Jul 25, 2025Updated 7 months ago
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- Program in English! LLM-enabled programming framework☆20Updated this week
- Solve 24 puzzles using zero-aware pattern databases☆15Nov 19, 2024Updated last year
- regl-pipeline is a pass manager and pass dependency graph editor for regl, an API for webgl.☆16Sep 6, 2016Updated 9 years ago
- build 3d scenes with shapes and lights using stack.gl☆17Dec 16, 2016Updated 9 years ago
- Proposal to add multi-values to WebAssembly☆76Oct 4, 2021Updated 4 years ago
- Generating an infinite terrain with biomes and water reflection in OpenGL.☆17Jun 2, 2016Updated 9 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- Tiny, single file, scalable key value store based on HAMTs☆53Jul 17, 2019Updated 6 years ago
- p2p key/value store for horizontal partitioning☆24Nov 2, 2019Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- visual + audio experiments☆18May 7, 2016Updated 9 years ago
- Explore tilings on the hyperbolic plane☆86Jun 15, 2020Updated 5 years ago
- OpenGL Voxel Splatting☆20Aug 5, 2015Updated 10 years ago
- Some weird animations made with regl and WebGL☆17Aug 8, 2016Updated 9 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Apr 7, 2025Updated 10 months ago
- Simple RPC with Protobuf Services☆25Jul 16, 2020Updated 5 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Mar 23, 2013Updated 12 years ago
- The fast way to check if a JS object is numeric☆23Jan 27, 2025Updated last year