tearflake / symbolverseLinks
minimalistic s-expression based term rewriting framework
☆15Updated 2 weeks ago
Alternatives and similar repositories for symbolverse
Users that are interested in symbolverse are comparing it to the libraries listed below
Sorting:
- The Nox programming language☆29Updated last year
- An implementation of interaction nets as a forth-like language.☆33Updated last month
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 5 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- McLulang: The message is the language☆11Updated 10 months ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- programming with second class references☆24Updated last week
- A compiler and run-time system to compile and run Curry programs as Go programs☆33Updated last month
- ☆53Updated 3 weeks ago
- A tiny lazy objective functional language☆17Updated 9 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 6 months ago
- WIP stack language that uses regex for control flow☆42Updated last year
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆15Updated 4 years ago
- An menu/quick reference for Programming Language concepts☆20Updated last year
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated last week
- An implementation of the Lox language in Racket.☆33Updated last year
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- A minimalist / functional / dataflow programming language☆13Updated last year
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- IDE support for the functional logic programming language Curry☆31Updated last month
- Glide programming language☆20Updated 2 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆31Updated 8 months ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆12Updated last year
- A toy programming language.☆40Updated last year
- A high-level programming language☆39Updated 5 months ago
- The Egel Programming Language☆84Updated last month
- Programming Languages Grammar House (BNF like grammars)☆28Updated 9 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago