Alternatives and similar repositories for thih

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

• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated last month
• ekmett / parsnip
  ☆18Updated 4 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated 2 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• gergoerdi / interaction-nets
  Haskell implementation of interaction net-based lambda evaluation
  ☆21Updated 8 years ago
• byteverse / bytesmith
  Parse bytes fast
  ☆24Updated last year
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 9 months ago
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated 3 weeks ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated 2 months ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• dorchard / sessions-in-haskell
  Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
  ☆15Updated 7 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 3 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆17Updated 3 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• faulhornlabs / csip
  ☆23Updated 2 weeks ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• hurryabit / pukeko
  A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
  ☆25Updated last year
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆16Updated 10 months ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆35Updated 3 months ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 10 months ago