Alternatives and similar repositories for Nomyx:

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

• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆133Updated last month
• exercism / idris
  Exercism exercises in Idris.
  ☆33Updated this week
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 5 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• lambdacube3d / lambdacube-compiler
  LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:
  ☆86Updated last year
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆159Updated 6 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆63Updated 2 years ago
• JeffreyBenjaminBrown / digraphs-with-text
  ☆65Updated 6 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• agocorona / hplayground
  Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…
  ☆60Updated 8 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• abailly / hs-word2vec
  A port of Google's word2vec to Haskell
  ☆26Updated 8 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• conal / shady-gen
  Functional GPU programming - DSEL & compiler
  ☆22Updated 8 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 9 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago