DAHeath / optic-graph

Related projects: ⓘ

• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 7 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆23Updated 3 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated 11 months ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 2 years ago
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated 7 months ago
• conal / linalg
  ☆42Updated this week
• tuura / pangraph
  A Haskell library for mathematical graph parsing and writing.
  ☆20Updated 3 years ago
• yogeshsajanikar / hspark
  A port of Apache Sparks to Haskell using distributed process
  ☆33Updated 7 years ago
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 8 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• Genetic-Strictness / Autobahn
  ☆18Updated 5 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 9 months ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 12 years ago
• sheyll / newtype-zoo
  A Zoo of Haskell Newtype Wrappers
  ☆14Updated 3 years ago
• xgrommx / agda-ecosystem
  ☆28Updated 6 years ago
• ekmett / speculation
  Safe, programmable, speculative evaluation for Haskell
  ☆30Updated 5 years ago
• andriusstank / downhill
  ☆20Updated last year
• abailly / hs-word2vec
  A port of Google's word2vec to Haskell
  ☆26Updated 8 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆33Updated 2 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• HIPERFIT / accelerate-opencl
  ☆35Updated 12 years ago
• adamConnerSax / knit-haskell
  Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.
  ☆29Updated 2 months ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 8 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆30Updated 8 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 7 years ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆11Updated 3 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆71Updated 4 years ago