Alternatives and similar repositories for achille

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

• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆20Updated 2 years ago
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 5 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆38Updated 2 months ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 4 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 2 weeks ago
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆26Updated last year
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆74Updated 2 months ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆63Updated 6 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆63Updated this week
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated last month
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 3 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 3 years ago
• augustss / orthotope
  ☆27Updated 3 weeks ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆61Updated 4 years ago
• ekmett / codebruijn
  experiments with pext/pdep and codebruijn syntax
  ☆17Updated 5 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆27Updated last year
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆29Updated 5 months ago
• marseillebd / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆22Updated 2 months ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆20Updated 3 months ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆13Updated last year
• fredefox / cat
  A formalization of category theory in cubical Agda
  ☆60Updated 5 years ago