paulfitz / cosmicos
Sending the lambda calculus into deep space
☆139Updated 2 years ago
Alternatives and similar repositories for cosmicos:
Users that are interested in cosmicos are comparing it to the libraries listed below
- things that don't deserve their own repo☆64Updated last month
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆50Updated 3 years ago
- A compiler for the esoteric language Piet, targeting multiple backends.☆92Updated 5 years ago
- Movable Feast Machine C++ reference implementation and simulator☆86Updated 2 months ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- Fractran interpreter in Fractran☆34Updated 10 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆43Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆140Updated 2 weeks ago
- Design a turing-complete marble run with ascii/unicode art☆54Updated 6 years ago
- A Toki Pona Parser☆41Updated 5 years ago
- The Esoteric File Archive☆97Updated 7 months ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 10 years ago
- Compiler for MFM programming language☆58Updated this week
- Catalog of visual lambda calculi☆106Updated last year
- A relational interpretation of Lojban☆33Updated last week
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆49Updated 2 months ago
- a proposed translation of toki pona lexicon into github emoji☆24Updated 5 years ago
- ☆21Updated 3 years ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Relaunch of EMOJI SIMULATOR 😘☆87Updated 3 years ago
- a readable language that grows from the silicon☆60Updated last year
- a simple language with a 1000 character interpreter inspired by toki pona☆77Updated 3 years ago
- Dream Diary☆108Updated 3 years ago
- tool for creating and sharing annotations, using github for storage and social network☆88Updated 3 years ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆90Updated 3 years ago
- The Thue programming language: Programming with grammars☆29Updated 10 years ago
- Byte coded Interpreted Programming language☆68Updated 6 months ago
- A free and opensource platform for studying the artificial language Lojban.☆82Updated 2 months ago
- A Forth implementation compiling to WebAssembly.☆145Updated 5 years ago
- Art1 by Richard Williams, 1968☆43Updated 9 months ago