paulfitz / cosmicosLinks
Sending the lambda calculus into deep space
☆151Updated 3 years ago
Alternatives and similar repositories for cosmicos
Users that are interested in cosmicos are comparing it to the libraries listed below
Sorting:
- things that don't deserve their own repo☆63Updated 5 months ago
- Compiler for MFM programming language☆25Updated 4 months ago
- The Esoteric File Archive☆104Updated last year
- a readable language that grows from the silicon☆60Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆174Updated this week
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 11 years ago
- Fractran interpreter in Fractran☆35Updated 10 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- Design a turing-complete marble run with ascii/unicode art☆57Updated 7 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆51Updated last year
- Movable Feast Machine C++ reference implementation and simulator☆95Updated 6 months ago
- Fork of Lua 5.1 to encourage end-user programming☆172Updated last year
- A compiler for the esoteric language Piet, targeting multiple backends.☆95Updated 5 years ago
- A terse declarative logic programming language☆117Updated 5 years ago
- a proposed translation of toki pona lexicon into github emoji☆24Updated 6 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- Compiler for Entropy, a programming language where all data is in a constant state of decay☆60Updated 6 months ago
- Dream Diary☆109Updated 7 months ago
- Lisp-based in-browser toy operating system☆203Updated 4 years ago
- Conway's Game of Life in APL in FORTH: how to implement a weird programming language using another weird programming language☆96Updated 5 years ago
- Compiler for MFM programming language☆59Updated 7 months ago
- Animations of lambda term reduction sequences☆152Updated 7 years ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆73Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!☆103Updated 6 years ago
- A visual programming language, evaluated as a cellular automaton☆64Updated last month
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated last month
- Port of CollapseOS to uxn Tal☆73Updated 3 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago