An Algorithm for Compressing Space and Time
☆48May 31, 2018Updated 7 years ago
Alternatives and similar repositories for HashLife
Users that are interested in HashLife are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of Gosper's hashlife algorithm☆39Jan 10, 2026Updated 2 months ago
- ☆14May 24, 2018Updated 7 years ago
- An implementation of Conway's Game of Life, with an interactive viewer and super-linear performance.☆23Sep 19, 2019Updated 6 years ago
- An absurdly tiny Lisp interpreter in OCaml☆32Dec 11, 2011Updated 14 years ago
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Mar 21, 2019Updated 7 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Batch Deposit and Service Fee collection Smart Contract for ETH 2.0☆17Mar 26, 2025Updated 11 months ago
- A Boulder Dash clone in OCaml☆37Jan 31, 2025Updated last year
- An implementation of the clustering algorithm k-means in J.☆13Nov 28, 2014Updated 11 years ago
- MagicScript Component Framework☆21Feb 4, 2021Updated 5 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆38Jan 15, 2026Updated 2 months ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 7 years ago
- Fun-to-watch demonstration monte carlo simulator☆10Oct 3, 2021Updated 4 years ago
- Codes related to Idris☆16Sep 4, 2015Updated 10 years ago
- SassC is an Unreal Engine 4-based prototype of the classic Garry's Mod RTS "Sassilization."☆15Apr 15, 2023Updated 2 years ago
- Feature-complete typeclasses for C++☆11Jul 5, 2020Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- ☆13Jun 13, 2014Updated 11 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 9 months ago
- Keystroke visualizer☆12Mar 26, 2019Updated 6 years ago
- A visualizer based on POVRAY to create visualizations of MCNPX input files without the need for MCNPX (created by Nick Michiels.)☆14Oct 24, 2012Updated 13 years ago
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆128Jul 25, 2020Updated 5 years ago
- A canvas for generating technical drawings☆20May 19, 2022Updated 3 years ago
- Fωμ type checker and compiler☆56Jan 28, 2023Updated 3 years ago
- An open letter to NLnet to pull funding from development of Loops☆12Jan 13, 2025Updated last year
- A-Frame slice9 component☆28Aug 5, 2021Updated 4 years ago
- Processing sketch based on the spirograph principle☆16Sep 14, 2021Updated 4 years ago
- Unlikely Scheme: A small Scheme interpreter☆22May 28, 2011Updated 14 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 years ago
- Provides a frame iterator for videos by using ffmpeg. Decodes images using the image crate.☆12Mar 31, 2021Updated 4 years ago
- An old-school computer roleplaying game inspired by the early Ultima games written with LÖVE; The tileset used was created by Josh Steele…☆10Apr 30, 2018Updated 7 years ago
- Fragment Shader Library in OpenGL/GLSL. Specific to Löve2D, but can easily be adopted to other frameworks.☆11Dec 4, 2014Updated 11 years ago
- 🦀 Rust implementation of sinkhole private information retrieval☆16Apr 16, 2021Updated 4 years ago
- A programming language☆77May 21, 2013Updated 12 years ago
- A concatenative cyborg chimera.☆10Dec 27, 2024Updated last year
- A way to produce really small x86-64 Linux ELF files☆18Feb 10, 2013Updated 13 years ago
- A version of Mathematica for golfing purposes.☆11Apr 1, 2024Updated last year