co-dan / interactive-diagrams

Related projects ⓘ

Alternatives and complementary repositories for interactive-diagrams

• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 5 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 2 weeks ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 6 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• ekmett / concurrent-supply
  A fast globally unique variable supply with a pure API
  ☆16Updated last year
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 4 months ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year
• chrisdone-archive / present
  Make presentations for data types
  ☆25Updated 3 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆15Updated 8 years ago
• DanielG / cabal-helper
  Give Haskell development tools access to Cabal project environment.
  ☆24Updated 3 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated 3 months ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• conal / talk-2016-generic-parallel-scan
  Talk on generic parallel scan
  ☆14Updated 7 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆51Updated 6 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 weeks ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 6 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆30Updated 8 years ago
• vincenthz / ghc-core-html
  Read ghc-core with style. javascript and CSS style.
  ☆13Updated 9 years ago
• fpco / sift
  Sift through Haskell code for analysis purposes
  ☆18Updated 6 years ago
• ekmett / tagged
  phantom types
  ☆37Updated 2 months ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated this week
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated 3 months ago