lukeg101 / lplzoo

Related projects: ⓘ

• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆56Updated 5 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 2 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆40Updated 3 years ago
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated 5 months ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 4 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆29Updated 5 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 3 months ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆28Updated 3 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 12 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated 3 weeks ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆76Updated 10 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 4 years ago
• ekmett / parsnip
  ☆18Updated 3 years ago
• frex-project / idris-frex
  ☆46Updated 5 months ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆61Updated 5 months ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆33Updated 3 years ago
• pigworker / SSGEP-DataData
  being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford
  ☆19Updated 9 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆28Updated 9 months ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆80Updated 3 years ago
• david-christiansen / derive-all-the-instances
  Work on type class deriving with elaboration reflection
  ☆31Updated 6 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 weeks ago
• bgamari / the-thoralf-plugin
  This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
  ☆22Updated 2 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago