tearflake / symbolverseLinks
experimental minimalistic symbolic term rewriting framework
☆18Updated 4 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…☆64Updated last week
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated this week
- A declarative concatenative programming language☆169Updated 3 months ago
- A tiny lazy objective functional language☆19Updated last year
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- High-level interface for low-level programming☆121Updated last month
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 11 months ago
- McLulang: The message is the language☆12Updated last year
- A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting☆44Updated last month
- A playground for programming language ideas.☆20Updated 2 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- ☆57Updated 7 months ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- Programming with pure lambda calculus☆136Updated 3 weeks ago
- another APL derivative☆89Updated 4 years ago
- An embeddable flow-oriented language.☆72Updated 2 weeks ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 4 years ago
- A notional machine for the SMoL languages☆21Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated last month
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- moved to https://codeberg.org/core-lang/core☆51Updated 11 months ago
- A native and a cross platform guide for BQN array programming language☆60Updated last year
- Glide programming language☆21Updated 2 years ago
- A derivative approach to finding your way in BQN☆40Updated this week
- Fir programming language☆90Updated this week
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆106Updated 7 months ago
- The Kraken Programming Language☆49Updated last year
- The future of programming.☆69Updated 4 years ago
- A high-level programming language☆40Updated 11 months ago
- BQN virtual machine☆31Updated last year