Alternatives and similar repositories for Eso:

Users that are interested in Eso are comparing it to the libraries listed below

• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 4 months ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆24Updated 2 months ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 4 months ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 5 years ago
• adelbertc / circular
  Invertible syntax for Scala.
  ☆13Updated 8 years ago
• davegurnell / atlas
  A tiny embedded scripting language implemented in Scala.
  ☆24Updated 6 years ago
• SystemFw / Befunge-93
  Purely Functional, Final Tagless interpreter for the Befunge-93 esolang
  ☆36Updated 6 years ago
• Duhemm / parsermacros
  Scala compiler plugin implementing parser macros
  ☆9Updated 7 years ago
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 10 years ago
• kpavery / System-Fo
  An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …
  ☆33Updated 9 years ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆20Updated 4 years ago
• Katrix / perspective
  Higher kinded data in Scala
  ☆19Updated 5 months ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆14Updated 5 years ago
• norm2782 / NanoProlog
  ☆17Updated last year
• ekmett / cadenza
  every day i'm truffling
  ☆69Updated 3 years ago
• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 9 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• ziman / itt-idris
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Updated last month
• xencura / kagera
  A discrete, colored Petri Net DSL and executor
  ☆17Updated 2 years ago
• typelevel / semigroups
  ☆16Updated 3 years ago
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 6 years ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆12Updated 2 years ago
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆40Updated 3 weeks ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• clayrat / sequent-calc
  Experiments with sequent calculi
  ☆26Updated 3 years ago
• habit-lang / alb
  ☆39Updated 5 months ago