cchalmers / circuit-notation

Related projects ⓘ

Alternatives and complementary repositories for circuit-notation

• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• SamuelSchlesinger / generic-match
  An implementation of first-class pattern matches in Haskell.
  ☆13Updated 4 years ago
• shapr / trynocular
  lazy generators with observation
  ☆15Updated last year
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆17Updated 5 months ago
• bergey / preql
  experiments with SQL & Haskell
  ☆13Updated 3 years ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• haskell / file-io
  File IO (read/write/open) for OsPath API
  ☆11Updated this week
• lehins / FailT
  A monad transformer designed for `MonadFail`
  ☆12Updated last year
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 2 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• mstksg / nonempty-containers
  Efficient non-empty variants of containers data types, with full API
  ☆25Updated 4 months ago
• kayhide / wakame
  Haskell library of row polymorphic record manipulator
  ☆19Updated 4 years ago
• sergv / atomic-counter
  Haskell counters that can be safely incremented from multiple threads
  ☆17Updated last year
• plow-technologies / hspec-golden-aeson
  Use tests to monitor changes in Aeson serialization
  ☆18Updated 2 months ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆32Updated 2 months ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated 6 months ago
• isovector / ldtk-types
  Types for ldtk
  ☆14Updated 7 months ago
• Icelandjack / idiomatic
  Deriving Applicative for sum types.. Idiomatically.
  ☆11Updated 2 years ago
• phadej / boring
  Boring and Absurd types
  ☆17Updated 6 months ago
• agentultra / DataVersion
  ☆20Updated last year
• HamzaM3 / yes-browser
  ☆20Updated last year
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 3 years ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 5 months ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated 11 months ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 3 years ago
• clash-lang / ghc-typelits-extra
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆16Updated 2 months ago
• parsonsmatt / hedgehog-fakedata
  A compatibility library for `hedgehog` and `fakedata`
  ☆15Updated 2 years ago
• mstksg / interactive-plot
  Quick interactive time series terminal plots usable in ghci
  ☆15Updated 5 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆23Updated this week
• Gabriella439 / defaultable-map
  Applicative maps
  ☆15Updated last month