Alternatives and similar repositories for AURIS:

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

• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated last month
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆157Updated 3 months ago
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆77Updated last year
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated 2 months ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated last week
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated 4 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 8 months ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆101Updated last year
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆129Updated this week
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆92Updated 7 months ago
• grin-compiler / haskell-code-spot
  Visual tool to spot odd runtime behaviour of Haskell programs.
  ☆109Updated 3 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆175Updated 3 months ago
• well-typed / visualize-cbn
  ☆100Updated 3 weeks ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆162Updated 3 months ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated this week
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 9 months ago
• pepeiborra / hls-tutorial
  A tutorial on writing Haskell Language Server plugins
  ☆70Updated 4 years ago
• input-output-hk / foliage
  🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
  ☆43Updated last week
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆94Updated 3 weeks ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• ianmbloom / gudni
  Haskell-centric Fast Accurate Curve Rasterizer
  ☆24Updated 3 years ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 4 months ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆57Updated 3 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆61Updated 2 months ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆172Updated last month
• cdepillabout / password
  datatypes and functions for easily working with passwords in Haskell
  ☆57Updated 5 months ago