Alternatives and similar repositories for Nomyx

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

• lambdacube3d / lambdacube-compiler
  LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:
  ☆87Updated last year
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 6 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆162Updated 6 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 13 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆136Updated 4 months ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆64Updated 9 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• JeffreyBenjaminBrown / digraphs-with-text
  ☆65Updated 7 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 10 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 8 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 4 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆275Updated 8 years ago
• nandor / hcraft
  Haskell clone of a certain game
  ☆95Updated 11 years ago