Alternatives and similar repositories for Shy:

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

• ekmett / cadenza
  every day i'm truffling
  ☆69Updated 4 years ago
• eta-lang / dhall-eta
  A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall
  ☆27Updated 5 years ago
• Strumenta / MPSServer
  ☆20Updated last year
• samskivert / bidir-scala
  A simple bidirectional type checker
  ☆18Updated 6 years ago
• ekmett / nbe-in-java-19
  a throwaway implementation of normalization by evaluation
  ☆13Updated 2 years ago
• JetBrains / arend-lib
  ☆81Updated last month
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• qfpl / propagator-examples
  ☆38Updated 5 years ago
• tvdstorm / oalgcomp
  Object Algebra Composition
  ☆24Updated 11 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• isovector / marlo
  a search engine for humans
  ☆19Updated 2 years ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 5 years ago
• Lysxia / metamorph
  Monomorphize polymorphic functions for testing
  ☆35Updated 8 years ago
• ulricha / dsh
  Database-Supported Haskell
  ☆29Updated 7 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• awson / ghc-nw
  GHC for native MS CRT and Windows SDK. Enhanced.
  ☆12Updated 3 years ago
• berewt / acme-haskellee
  Haskell Enterprise Edition
  ☆12Updated 7 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• alx741 / graphite
  Haskell graphs and networks library
  ☆31Updated 3 years ago
• ollef / rock
  Build system
  ☆123Updated last year
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated this week
• michaelt / tagless
  oleg modules
  ☆30Updated 12 years ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated this week
• tysonzero / algebraic-structures
  A gv file representing the relationships between various algebraic structures.
  ☆19Updated 4 years ago
• nikita-volkov / hasql-th
  Template Haskell utilities for Hasql
  ☆112Updated 2 months ago
• precog / purescript-mra
  A definition and reference implementation for MRA in PureScript.
  ☆17Updated 7 years ago