mingodad / parsertl-playground
A web based playground for parsertl/lexertl
☆26Updated last week
Alternatives and similar repositories for parsertl-playground
Users that are interested in parsertl-playground are comparing it to the libraries listed below
Sorting:
- minimalistic symbolic term rewriting framework☆15Updated last week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 4 months ago
- ☆22Updated 9 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆45Updated 3 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- A compiler and run-time system to compile and run Curry programs as Go programs☆32Updated last month
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…☆42Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 5 months ago
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆14Updated 4 years ago
- A functional scripting language.☆18Updated 4 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- ☆9Updated 2 years ago
- 👌 A smol functional language that targets other languages☆62Updated last year
- Rust BF interpreters☆12Updated last year
- A toy programming language I wrote in late 2022☆23Updated last year
- WIP stack language that uses regex for control flow☆42Updated last year
- An optimizing compiler for a large subset of the C programming language☆26Updated this week
- language verification, construction, and analysis☆20Updated 3 years ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- The Nox programming language☆29Updated last year
- A Modeling Notation ꕤ☆15Updated this week
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Standard ML (SML) grammar for tree-sitter☆15Updated 8 months ago