judofyr / aoc2018
☆8Updated 6 years ago
Alternatives and similar repositories for aoc2018:
Users that are interested in aoc2018 are comparing it to the libraries listed below
- Time-traveling C-like programming language for the Sphinx architecture☆15Updated 3 months ago
- A DSL and command-line tool for generating binary files.☆37Updated 3 years ago
- Design a turing-complete marble run with ascii/unicode art☆54Updated 7 years ago
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆26Updated 9 years ago
- A new declarative programming language☆23Updated 4 years ago
- A pyramidic language☆48Updated 4 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆43Updated 3 years ago
- A two-dimensional, triangular programming language.☆18Updated 3 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆49Updated 4 months ago
- BANCStar source code☆168Updated 10 years ago
- falling sand game with regular parallel arrays.☆69Updated 11 years ago
- metamath proof enumerators and other things☆92Updated 7 months ago
- An implementation of rule 110 in Scalable Vector Graphics☆147Updated 4 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 4 months ago
- Exploring the space of all possible programs☆27Updated 11 years ago
- The pastebin for mathematicians☆35Updated 10 years ago
- MIRROR of https://codeberg.org/catseye/Funge-98 : The Funge-98 specification in all its gory☆33Updated 6 years ago
- (λ) Educational lambda calculus interpreter☆72Updated 3 years ago
- PRolog Equation Solving System☆29Updated 8 years ago
- Demo of a WAM Prolog implementation in Python☆74Updated last year
- Klein is a language about topology.☆17Updated 7 years ago
- A quine generator☆314Updated 6 years ago
- A tiny thin client for multiplayer games☆18Updated 11 years ago
- A graphical interactive proof assistant designed for education☆165Updated 3 months ago
- A minimal Forth VM and Compiler implemented in PostScript☆27Updated 13 years ago
- The Befunge-98 test suite.☆25Updated 2 years ago
- an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…☆29Updated 8 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 5 years ago
- The Pascal-F Verifier☆48Updated 7 years ago