Alternatives and similar repositories for psilo

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

• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 6 years ago
• paf31 / partial
  A nullary type class for partial functions
  ☆15Updated 8 years ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 7 years ago
• elliottt / dang
  A compiler for a strongly typed, haskell-like functional language
  ☆22Updated 8 years ago
• haskell-works / hw-rankselect
  ☆18Updated 6 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 weeks ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆38Updated 14 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• skogsbaer / roundtrip
  Roundtrip allows the definition of bidirectional (de-)serialization specifications
  ☆16Updated last year
• andrewthad / packed
  Unpinned byte arrays in GHC haskell
  ☆22Updated 7 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 7 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Updated 8 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 7 years ago
• nikita-volkov / vector-builder
  Vector builder
  ☆16Updated 3 weeks ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 8 years ago
• dorchard / sessions-in-haskell
  Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
  ☆15Updated 8 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆13Updated 9 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• psibi / sysinfo
  Haskell Interface for getting overall system statistics
  ☆16Updated 7 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆29Updated 7 years ago
• GaloisInc / alex-tools
  A Haskell library making it easier to write Alex lexers.
  ☆12Updated 4 months ago
• jwiegley / haskell-to-c
  Sample code to build a C library from a Haskell module, then call it from C
  ☆16Updated 8 years ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• ezyang / deepseq-magic
  Deep evaluation of data structures without NFData
  ☆10Updated 11 years ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 5 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• mwotton / judy
  ☆18Updated 3 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated last month