ajtulloch / hopfield-networks

Related projects: ⓘ

• freebroccolo / algebra.rs
  ☆13Updated this week
• kawu / sgd
  Stochastic gradient descent Haskell library
  ☆12Updated 2 months ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆11Updated 5 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆29Updated 7 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 2 months ago
• bvssvni / rust-idris-fs
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Updated 8 years ago
• hailstorm-hs / hailstorm
  Haskell distributed stream processing with exactly-once semantics
  ☆90Updated 10 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 10 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated last year
• danilkolikov / categories
  Category Theory
  ☆18Updated 5 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 8 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 5 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• quickdudley / hfnn
  ☆25Updated 3 years ago
• RobertHarper / hott-materials
  ☆20Updated this week
• dancingrobot84 / bro
  ☆10Updated this week
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 7 years ago
• scravy / bed-and-breakfast
  Matrix operations in 100% pure Haskell
  ☆33Updated 9 months ago
• creichert / haskellrustdemo
  Example Integration for Embedding Rust in Haskell
  ☆35Updated 6 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆23Updated 3 years ago
• alphaHeavy / consul-haskell
  A haskell client library for consul (consul.io)
  ☆31Updated 7 months ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆18Updated 6 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• tazjin / elm-yesod
  elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.
  ☆15Updated 11 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago