nathanieljohnston / game-of-life-book
A textbook for Conway's Game of Life.
☆35Updated 3 years ago
Alternatives and similar repositories for game-of-life-book
Users that are interested in game-of-life-book are comparing it to the libraries listed below
Sorting:
- types for various combinatory systems, especialy tree calculi☆17Updated 3 months ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 7 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Learn Lean and topology☆21Updated 2 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 4 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 7 months ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 11 months ago
- ☆34Updated 6 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆23Updated this week
- A relational interpretation of Lojban☆33Updated 3 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆99Updated last year
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Apple array system☆66Updated this week
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆57Updated last week
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Like APL, but with emojis☆15Updated 3 years ago
- BQN implementation in Julia☆18Updated 3 years ago
- random art generator for cryptographic keys☆23Updated last week
- Quipu Programming Language☆20Updated 12 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 2 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- A formal consistency proof of Quine's set theory New Foundations☆70Updated last week
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- A native and a cross platform guide for BQN array programming language☆58Updated 9 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- Mirror of ocaml-forester☆44Updated 11 months ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year