Alternatives and similar repositories for MathGenealogy:

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

• jeanqasaur / against-junior-faculty-stress
  ☆67Updated 7 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 7 years ago
• alviano / wasp
  ☆20Updated 3 months ago
• rougier / dynamic-som
  Dynamic Self-Organized maps
  ☆22Updated 9 years ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated last month
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• open-machine-learning / mloss
  Machine Learning Open Source Software
  ☆23Updated 6 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• rndmcnlly / ansunit
  Declarative unit testing for Answer Set Programming projects
  ☆12Updated 6 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• potassco / asprin
  💊 Qualitative and quantitative optimization in answer set programming
  ☆20Updated 8 months ago
• SmartDataAnalytics / SML-Bench
  A Benchmark for Machine Learning from Structured Data
  ☆21Updated 3 years ago
• stites / CSSR
  Mirror of CSSR: An Algorithm for Building Markov Models from Time Series
  ☆20Updated 5 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• probcomp / cgpm
  Library of composable generative population models which serve as the modeling and inference backend of BayesDB.
  ☆25Updated 6 months ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆29Updated 9 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆77Updated 6 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆9Updated 10 years ago
• lmcinnes / hypergraph
  A library for hypergraphs and hypergraph algorithms
  ☆28Updated 9 years ago
• IMCG / graph-theory-algorithms-book
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆20Updated 9 years ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 11 years ago
• probonto / ontology
  ☆15Updated last year
• M-Flash / m-flash-cpp
  ☆15Updated 6 years ago