Poincare / DCFL

Related projects ⓘ

Alternatives and complementary repositories for DCFL

• 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 4 months ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 9 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 7 years ago
• HIPERFIT / accelerate-opencl
  ☆35Updated 12 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆23Updated last week
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• alphaHeavy / consul-haskell
  A haskell client library for consul (consul.io)
  ☆31Updated 9 months ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• steven777400 / TwilioIVR
  A fluent Twilio IVR library for Haskell
  ☆20Updated 9 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆54Updated 6 years ago
• pavelchristof / machine-learning
  Experiments with haskell neural networks
  ☆11Updated 9 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆18Updated 5 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 5 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 2 months ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated last year
• odipar / spread
  SPREAD
  ☆19Updated 3 years ago