occam-ra / occamLinks
OCCAM Reconstructability Analysis Tools
☆21Updated this week
Alternatives and similar repositories for occam
Users that are interested in occam are comparing it to the libraries listed below
Sorting:
- A framework for applied category theory in the Julia language☆681Updated last week
- Python Cellular Sheaf Library☆147Updated 2 months ago
- Differentiable probabilistic answer set programming☆26Updated 5 months ago
- A graphical editor for graph-like structures☆101Updated last year
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆166Updated 6 years ago
- Conjure: The Automated Constraint Modelling Tool☆108Updated 3 weeks ago
- An interactive theorem prover for string diagrams☆123Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆123Updated 3 years ago
- A probabilistic programming language☆322Updated 3 years ago
- Building dynamical systems compositionally☆73Updated 3 weeks ago
- ☆16Updated 4 years ago
- ☆165Updated 6 years ago
- ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.☆50Updated 2 months ago
- Build Petri net models compositionally☆89Updated 3 months ago
- ☆75Updated last month
- L-Functions and Modular Forms Database☆278Updated this week
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Parallel Programming in Futhark☆49Updated last month
- Exact Inference Engine for Probabilistic Programs☆135Updated 8 months ago
- ☆120Updated last year
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆186Updated 2 years ago
- A repository for generative models☆117Updated 5 months ago
- probabilistic programming for PL folks☆159Updated 4 years ago
- ☆40Updated 10 years ago
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆123Updated this week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆85Updated 8 months ago
- Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Diff…☆30Updated 13 years ago