Alternatives and similar repositories for MathGenealogy:

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

• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 11 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• dritchie / quicksand
  A low-level probabilistic programming framework embedded in Terra.
  ☆29Updated 8 years ago
• darpa-xdata / xlang
  ☆21Updated 9 years ago
• probcomp / cgpm
  Library of composable generative population models which serve as the modeling and inference backend of BayesDB.
  ☆25Updated 7 months ago
• jeanqasaur / against-junior-faculty-stress
  ☆67Updated 7 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• LinguisticData / linguistic-data
  Basic dataset for the linguistic data collection.
  ☆15Updated 8 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆16Updated 8 years ago
• snap-stanford / snap-dev
  SNAP repository for Ringo
  ☆14Updated 7 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• mattmight / bib2sx
  A tool for manipulating bibtex files as s-expressions
  ☆33Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 8 months ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 7 years ago
• codeneuro / notebooks
  Interactive notebooks for trying analyses and exploring datasets
  ☆32Updated 9 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• xflows / rdm
  Relational data mining in python
  ☆31Updated 2 years ago
• IBM / datascienceontology
  Data Science Ontology
  ☆36Updated 5 months ago
• open-machine-learning / mloss
  Machine Learning Open Source Software
  ☆23Updated 6 years ago
• dbunibas / chasebench
  Benchmarking the Chase
  ☆9Updated 7 years ago
• M-Flash / m-flash-cpp
  ☆15Updated 6 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago