Alternatives and similar repositories for achille

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

• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 4 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆68Updated 3 weeks ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆64Updated 10 months ago
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆20Updated 2 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆76Updated this week
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 5 months ago
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆24Updated 3 weeks ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆51Updated 3 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 6 years ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆62Updated 8 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 6 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated 2 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆21Updated 4 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 5 years ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆21Updated last year
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 9 months ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆48Updated 3 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆45Updated 7 months ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated 5 months ago
• velveteer / hermes
  A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library
  ☆49Updated 3 months ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆57Updated last year
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆28Updated last month
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 13 years ago
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 5 years ago