tzwenn / MathGenealogy

Related projects ⓘ

Alternatives and complementary repositories for MathGenealogy

• nelsonth / btoblas
  Build-to-Order BLAS
  ☆11Updated 5 years ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 11 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 2 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• snap-stanford / snap-dev
  SNAP repository for Ringo
  ☆14Updated 7 years ago
• M-Flash / m-flash-cpp
  ☆15Updated 6 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• dritchie / quicksand
  A low-level probabilistic programming framework embedded in Terra.
  ☆28Updated 8 years ago
• jeanqasaur / against-junior-faculty-stress
  ☆67Updated 7 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆15Updated 8 years ago
• SeerLabs / CiteSeerExtractor
  ☆21Updated 7 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆10Updated 6 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• deepppl / deepppl
  Deep Probabilistic Programming Language
  ☆19Updated 3 months ago
• rougier / dynamic-som
  Dynamic Self-Organized maps
  ☆22Updated 9 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• panks / FCA-Python
  Formal concept analysis lattice generation and query in Python
  ☆13Updated 10 years ago
• HazyResearch / tuffy
  Tuffy, a Markov Logic Network solver
  ☆24Updated 10 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 9 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 3 years ago
• arvoelke / delay2017
  Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells
  ☆7Updated 7 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆42Updated 11 years ago
• flexgp / efs
  Evolutionary feature synthesis
  ☆17Updated 9 years ago
• chagaz / sfan
  Selecting features as (network) nodes
  ☆11Updated 6 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago