tearflake / symbolverseLinks
experimental minimalistic symbolic term rewriting framework
☆16Updated 2 months ago
Alternatives and similar repositories for symbolverse
Users that are interested in symbolverse are comparing it to the libraries listed below
Sorting:
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated last year
- A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting☆43Updated 10 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 9 months ago
- A declarative concatenative programming language☆166Updated last month
- A playground for programming language ideas.☆20Updated last week
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- A tiny lazy objective functional language☆18Updated last year
- High-level interface for low-level programming☆119Updated 2 months ago
- An embeddable flow-oriented language.☆71Updated last week
- Programming with pure lambda calculus☆127Updated 3 weeks ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆80Updated this week
- A novel approach to finding your way in APL☆142Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- An experimental Racket implementation using LLVM/MLIR☆61Updated 2 years ago
- Pocket sized programs☆62Updated last month
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- A native and a cross platform guide for BQN array programming language☆57Updated last year
- ☆32Updated 3 years ago
- another APL derivative☆88Updated 4 years ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 3 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆36Updated 5 months ago
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Updated last year
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- ☆56Updated 5 months ago
- The future of programming.☆69Updated 4 years ago
- A language server for Standard ML in Rust.☆229Updated last month
- L42 main project☆28Updated 11 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆38Updated 2 weeks ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆315Updated 4 months ago