Poincare / DCFL

Related projects: ⓘ

• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 4 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 9 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 2 months ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 9 years ago
• Poincare / QLearn
  A fast, easy-to-use q-learning library for Haskell
  ☆43Updated 8 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 7 years ago
• HIPERFIT / accelerate-opencl
  ☆35Updated 12 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated last year
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆59Updated 5 years ago
• aeyakovenko / rbm
  restricted boltzmann machine
  ☆44Updated 8 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆23Updated 3 years ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 8 years ago
• pavelchristof / machine-learning
  Experiments with haskell neural networks
  ☆11Updated 9 years ago
• ajtulloch / deeplearning-hs
  ☆53Updated 8 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• Russell91 / pyfi
  ☆57Updated this week
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆27Updated 8 years ago
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆56Updated 10 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated last year
• mlite / hLLVM
  ☆24Updated this week
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 8 years ago
• susanctu / Haskell-In-Memory-DB
  ☆13Updated 10 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• alphaHeavy / consul-haskell
  A haskell client library for consul (consul.io)
  ☆31Updated 7 months ago
• tonyday567 / hagglers
  ☆13Updated this week
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated 2 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆52Updated 8 years ago