Alternatives and similar repositories for Nomyx:

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

• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆63Updated 2 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated 2 months ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 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:
  ☆87Updated last year
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 9 years ago
• ghcjs / ghcjs-examples
  ☆89Updated 9 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 5 years ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 10 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
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• sharkdp / purescript-isometric
  Isometric rendering for PureScript
  ☆58Updated 5 years ago
• ashinkarov / heh
  A programming language with infinite arrays
  ☆31Updated 5 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆21Updated 4 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago