Alternatives and similar repositories for quicksand:

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

• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆11Updated 9 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• PhDP / Akarui
  Experimental ML/AI code
  ☆21Updated 3 years ago
• 51alg / TerpreT
  ☆43Updated 7 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
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆69Updated 7 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• mrkulk / Julia-Torch
  Interface between Julia and Torch (Lua) using ZMQ
  ☆22Updated 10 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 7 months ago
• dritchie / probabilistic-js
  Turning Javascript into a probabilistic programming language
  ☆58Updated 7 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 6 years ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 11 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• stan-dev / nomad
  Fast autodiff.
  ☆19Updated 10 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• stuhlmueller / cosh
  Dynamic programming inference by continuation hashing.
  ☆29Updated 9 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆25Updated last year
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆10Updated 7 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago