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
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆162Updated 6 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆82Updated last year
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆39Updated 5 years ago
• urv / fixhs
  FIX (co)parser in haskell
  ☆51Updated 12 years ago
• copumpkin / categories
  Categories parametrized by morphism equality, in Agda
  ☆152Updated 6 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 3 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• JPMoresmau / HGraphStorage
  Graph database in Haskell
  ☆24Updated 9 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
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 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
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆106Updated 5 years ago
• GaloisInc / lean-haskell-bindings
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆21Updated 8 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• maoe / influxdb-haskell
  InfluxDB client library for Haskell
  ☆55Updated last year
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆147Updated 10 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆79Updated 10 years ago
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆122Updated 7 years ago
• alphaHeavy / quickfix-hs
  QuickFIX bindings for Haskell
  ☆26Updated 8 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago