Alternatives and similar repositories for dyna

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

• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 9 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 4 years ago
• clf / celf
  ☆60Updated 6 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 8 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 5 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆173Updated 6 years ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 7 months ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 weeks ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 2 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 2 years ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 9 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆82Updated 7 years ago
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆57Updated 11 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• mikeizbicki / hmm
  hidden markov models in haskell
  ☆34Updated 9 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 6 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago