githwxi / XATSHOMELinks
For hosting ATS3 and developing CodeDepot
☆16Updated 2 months ago
Alternatives and similar repositories for XATSHOME
Users that are interested in XATSHOME are comparing it to the libraries listed below
Sorting:
- Your happy place for learning APL☆15Updated 2 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 6 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- Haskell binding for PADS☆20Updated 6 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated 2 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Updated 4 years ago
- ☆55Updated 6 months ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 10 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A general purpose relational language☆19Updated 5 years ago
- Animation of Yves Lafont's Interaction Combinators☆19Updated 3 years ago
- The Coil Programming Language☆33Updated last year
- Relational Algebra at your fingertips☆62Updated 10 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Modeling DNS with Alloy☆37Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- ☆35Updated 6 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- a self-hosting lambda calculus compiler☆37Updated 8 months ago
- The rule-based graph programming language GP 2☆69Updated this week
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- A functional fluent API generator☆35Updated 2 years ago
- Scheme implementation (now maybe working properly)☆19Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Solutions to Advent of Code 2022 in APL & BQN (and Python if I'm lazy)☆15Updated last year
- Learning Constraint Programming with Picat☆49Updated last month
- Clafer is a lightweight modeling language☆47Updated 9 months ago