AndrasKovacs / staged-fusion

Related projects: ⓘ

• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆53Updated 3 years ago
• Guest0x0 / normalization-bench
  Benchmarking various normalization algorithms for the lambda calculus
  ☆43Updated 2 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• 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).
  ☆33Updated 3 months ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆49Updated 6 months ago
• Trebor-Huang / combinator-nbe
  Normalization by evaluation of simply typed combinators.
  ☆26Updated 2 years ago
• AndrasKovacs / stlc-nbe
  Correctness of normalization-by-evaluation for STLC
  ☆21Updated 4 years ago
• frex-project / idris-frex
  ☆46Updated 5 months ago
• andorp / IdrisExtSTGCodegen
  ☆24Updated last year
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆55Updated 5 months ago
• zaklogician / linear-constructive
  Linear Logic for Constructive Mathematics, in Agda
  ☆18Updated 5 years ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆20Updated 3 weeks ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005
  ☆82Updated 3 years ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆49Updated 3 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 4 years ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆80Updated 3 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆121Updated last month
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 3 months ago
• j-mie6 / design-patterns-for-parser-combinators
  A Really Cool Calculator written in Haskell... or is it?
  ☆40Updated 3 years ago
• frex-project / haskell-frex
  ☆24Updated last year
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆32Updated 2 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• pigworker / TypesWhoSayNi
  being the materials for a paper I have in mind to write about the bidirectional discipline
  ☆41Updated last month
• anuyts / menkar
  The multimode presheaf proof-assistant
  ☆35Updated last year
• andorp / mini-grin
  ICFP tutorial
  ☆40Updated 3 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆61Updated 4 months ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆44Updated last year
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆75Updated 4 months ago