Alternatives and similar repositories for Netrium

Users that are interested in Netrium are comparing it to the libraries listed below

• larrytheliquid / Lemmachine
  REST'ful web framework in Agda
  ☆134Updated 15 years ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 14 years ago
• copumpkin / categories
  Categories parametrized by morphism equality, in Agda
  ☆152Updated 6 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆81Updated last year
• urv / fixhs
  FIX (co)parser in haskell
  ☆52Updated 12 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 3 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆62Updated 7 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 14 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆125Updated 8 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated 2 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 10 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆33Updated 6 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆80Updated 11 years ago
• JPMoresmau / HGraphStorage
  Graph database in Haskell
  ☆24Updated 9 years ago
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆39Updated 5 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• haskell / statistics
  A fast, high quality library for computing with statistics in Haskell.
  ☆309Updated this week
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆60Updated 11 years ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 6 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆149Updated 9 years ago
• bmillwood / stepeval
  A program for evaluating a Haskell expression step-by-step
  ☆50Updated 9 years ago
• twittner / zeromq-haskell
  This repository has been moved to https://gitlab.com/twittner/zeromq-haskell
  ☆137Updated 9 years ago
• jyp / glpk-hs
  Haskell bindings to glpk
  ☆13Updated last year
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆164Updated 7 years ago
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆23Updated last year
• simonmar / monad-par
  ☆127Updated 2 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆42Updated 10 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆47Updated 6 years ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆18Updated 8 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 15 years ago