githwxi / XATSHOMELinks
For hosting ATS3 and developing CodeDepot
☆16Updated this week
Alternatives and similar repositories for XATSHOME
Users that are interested in XATSHOME are comparing it to the libraries listed below
Sorting:
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Updated 6 years ago
- Your happy place for learning APL☆15Updated 3 years ago
- A command-line parser for Standard ML☆21Updated last month
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Haskell binding for PADS☆21Updated 6 years ago
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- A general purpose relational language☆19Updated 5 years ago
- An implementation of interaction nets as a forth-like language.☆44Updated 2 months ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Updated 5 years ago
- Getting Started with CheriBSD☆15Updated 3 weeks ago
- ☆58Updated 8 months ago
- Relational Algebra at your fingertips☆62Updated 11 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆20Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- Modeling DNS with Alloy☆37Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- Animation of Yves Lafont's Interaction Combinators☆23Updated 4 years ago
- a self-hosting lambda calculus compiler☆37Updated 10 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- You are trapped on an infinite tile floor along with murderous marbles☆13Updated last year
- The Coil Programming Language☆33Updated last year
- A Haskell-like language for scripting and web apps☆14Updated last year
- ☆35Updated 6 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Updated 8 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Small Prolog☆14Updated 9 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 4 years ago
- McLulang: The message is the language☆12Updated last year