tearflake / symbolverseLinks
experimental minimalistic symbolic term rewriting framework
☆17Updated 3 months ago
Alternatives and similar repositories for symbolverse
Users that are interested in symbolverse are comparing it to the libraries listed below
Sorting:
- A tiny lazy objective functional language☆19Updated last year
- Programming with pure lambda calculus☆133Updated this week
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated this week
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆82Updated last week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 11 months ago
- High-level interface for low-level programming☆120Updated 2 weeks ago
- A native and a cross platform guide for BQN array programming language☆58Updated last year
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- A declarative concatenative programming language☆168Updated 2 months ago
- A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting☆43Updated 3 weeks ago
- An implementation of interaction nets as a forth-like language.☆43Updated 3 weeks ago
- A novel approach to finding your way in APL☆147Updated this week
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- A playground for programming language ideas.☆20Updated 3 weeks ago
- Pocket sized programs☆63Updated this week
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆67Updated 2 months ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- The future of programming.☆69Updated 4 years 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 derivative approach to finding your way in BQN☆39Updated this week
- A high-level programming language☆40Updated 10 months ago
- An embeddable flow-oriented language.☆72Updated last month
- A human readable quasi-concatenative programming language☆258Updated 10 months ago
- A system to amalgamate any features you want into any language you need☆26Updated 3 years ago
- another APL derivative☆89Updated 4 years ago
- A website for the #proglangdesign community on freenode☆112Updated last month
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- Personal research notes☆17Updated last year
- ☆26Updated 2 years ago
- The Twelf Programming Language☆147Updated this week