Alternatives and similar repositories for algebraic-graphs-io:

Users that are interested in algebraic-graphs-io are comparing it to the libraries listed below

• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆15Updated 6 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 5 years ago
• fpco / sift
  Sift through Haskell code for analysis purposes
  ☆18Updated 6 years ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated last year
• byteverse / contiguous
  Typeclass for array types
  ☆19Updated 8 months ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• JoeyEremondi / lambda-pi-constraint
  ☆16Updated 6 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 5 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• ucsd-progsys / liquid-sf
  Port "Software Foundations" to LiquidHaskell
  ☆11Updated 5 years ago
• identicalsnowflake / cantor-pairing
  Convert data to and from a natural number representation
  ☆13Updated 3 years ago
• jship / tao
  Type-level assertion operators
  ☆16Updated 6 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated last month
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 2 weeks ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• nomeata / ghc-core-smallstep
  A small-step semantics for Core
  ☆9Updated 4 years ago
• clash-lang / ghc-typelits-extra
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆16Updated last month
• emilypi / order
  Order theory
  ☆23Updated last year
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆30Updated 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.
  ☆19Updated 9 months ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated 10 months ago
• metaborg / linear.agda
  A library and case-study for linear, intrinsically-typed interpreters in Agda
  ☆34Updated 5 years ago