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 14 years ago
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆39Updated 4 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• rbermani / ib-api
  An API for the Interactive Brokers Trader Workstation written in pure Haskell
  ☆18Updated 7 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆148Updated 9 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 4 years ago
• urv / fixhs
  FIX (co)parser in haskell
  ☆51Updated 12 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆174Updated last year
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆82Updated last year
• copumpkin / categories
  Categories parametrized by morphism equality, in Agda
  ☆151Updated 5 years ago
• JPMoresmau / HGraphStorage
  Graph database in Haskell
  ☆24Updated 9 years ago
• btmura / b1
  B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.
  ☆53Updated 8 years ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 years ago
• boundedvariation / quantfin
  quant finance in pure haskell
  ☆137Updated 6 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆162Updated 6 years ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 13 years ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆148Updated 3 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 2 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 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
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆17Updated 7 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 6 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆145Updated 10 years ago