Alternatives and similar repositories for occam:

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

• zenna / Omega.jl
  Causal, Higher-Order, Probabilistic Programming
  ☆170Updated 2 years ago
• probmods / webppl-viz
  Visualization for WebPPL
  ☆14Updated 7 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• AlgebraicJulia / StockFlow.jl
  ☆69Updated 3 weeks ago
• zenna / Sigma.jl
  Sigma is a probabilistic programming environment implemented in Julia
  ☆68Updated 5 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆132Updated last month
• verdverm / pypge
  Python implementation of the PGE algorithm
  ☆51Updated 8 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆104Updated this week
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆62Updated last year
• IBM / probzelus
  ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
  ☆47Updated 11 months ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆82Updated 6 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 9 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 6 months ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆20Updated 5 months ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• cscherrer / Soss.jl
  Probabilistic programming via source rewriting
  ☆415Updated 9 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last month
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆120Updated this week
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆52Updated this week
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• convexengineering / gpkit
  Geometric programming for engineers
  ☆207Updated last year
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆136Updated 5 months ago
• biaslab / ForneyLab.jl
  Julia package for automatically generating Bayesian inference algorithms through message passing on Forney-style factor graphs.
  ☆149Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• probsys / AutoGP.jl
  Automated Bayesian model discovery for time series data
  ☆72Updated 2 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• stan-dev / stanc3
  The Stan transpiler (from Stan to C++ and beyond).
  ☆146Updated this week
• machine-intelligence / provability
  ☆36Updated 9 years ago