Dash-Lambda / Eso
A (mostly) purely functional console-based esoteric language interpreter.
☆12Updated 3 years ago
Alternatives and similar repositories for Eso:
Users that are interested in Eso are comparing it to the libraries listed below
- A tiny embedded scripting language implemented in Scala.☆24Updated 6 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- A discrete, colored Petri Net DSL and executor☆17Updated 2 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- ☆17Updated 2 years ago
- ☆16Updated 3 years ago
- A minimal example of the Idris C FFI☆14Updated 9 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 5 years ago
- Scala 3D Engine☆25Updated 11 years ago
- Higher kinded data in Scala☆20Updated last week
- Lambda syntax for Scala EDSLs☆26Updated last year
- A fork of asm.ow2.org for the Scala compiler☆8Updated 7 years ago
- A recursion scheme library for Idris.☆24Updated 4 months ago
- Scala port of Paolo Capriotti's optparse-applicative library. fork from https://github.com/bmjames/scala-optparse-applicative☆16Updated 2 weeks ago
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆36Updated 7 years ago
- Invertible syntax for Scala.☆13Updated 8 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Updated 4 years ago
- A purity and nullability analysis tool for Java.☆25Updated 6 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Scala translation of the awesome «Write Yourself a Scheme in 48 Hours» tutorial.☆7Updated 13 years ago
- Idris rules for Bazel☆13Updated 6 years ago
- Experiments with incremental compiler construction on the JVM☆11Updated 3 years ago
- Levenshtein edit distance, packaged for ATS☆12Updated 2 years ago
- A VM written following the Linear Abstract Machine architecture☆22Updated 5 years ago
- Reference interpreter for TASTy, the Scala 3 interchange format☆12Updated 2 years ago
- Scala compiler plugin implementing parser macros☆9Updated 7 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago
- ☆41Updated 4 years ago
- Functional user journeys☆9Updated last year