con-kitty / categorifier

Related projects ⓘ

Alternatives and complementary repositories for categorifier

• con-kitty / categorifier-c
  Haskell to C compiler via Categorifier
  ☆29Updated 11 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 11 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• conal / felix
  Agda category theory library for denotational design
  ☆48Updated 5 months ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated 2 months ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆35Updated 3 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated this week
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 2 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆77Updated 6 months ago
• bobatkey / agda-metric-reals
  ☆28Updated 2 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 3 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆44Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆45Updated 2 weeks ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 7 months ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆119Updated 2 months ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago
• frex-project / idris-frex
  ☆47Updated last month
• haskellari / some
  Existential type.
  ☆36Updated 6 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆36Updated 3 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year