Alternatives and similar repositories for Eso

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

• davegurnell / atlas
  A tiny embedded scripting language implemented in Scala.
  ☆24Updated 6 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆25Updated 2 weeks ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• misto / Write-Yourself-a-Scheme-in-Scala
  Scala translation of the awesome «Write Yourself a Scheme in 48 Hours» tutorial.
  ☆7Updated 13 years ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 8 months ago
• Mesabloo / jellyvm
  A VM written following the Linear Abstract Machine architecture
  ☆22Updated 5 years ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆21Updated 4 years ago
• ziman / itt-idris
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Updated 6 months ago
• typelevel / semigroups
  ☆16Updated 3 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 6 years ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 5 years ago
• idris-industry / idris-ffi-example
  A minimal example of the Idris C FFI
  ☆14Updated 10 years ago
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆52Updated 3 months ago
• Duhemm / parsermacros
  Scala compiler plugin implementing parser macros
  ☆9Updated 7 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• rossberg / mixml
  MixML prototype interpreter
  ☆27Updated 5 years ago
• Jyothsnasrinivas / eta-todo
  A simple to-do web application in Eta using Spock web framework and Lucid DSL
  ☆17Updated 6 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 5 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated last year
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• jdevuyst / rekenaar
  Idris tactics for (commutative) monoids
  ☆20Updated 5 years ago
• adelbertc / circular
  Invertible syntax for Scala.
  ☆13Updated 8 years ago
• metaborg / spoofax-intellij
  ☆11Updated last month
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated 9 months ago