Z80coder / db-netsLinks
∂B nets: learning discrete, boolean-valued functions by gradient descent
☆21Updated last year
Alternatives and similar repositories for db-nets
Users that are interested in db-nets are comparing it to the libraries listed below
Sorting:
- Compiler with automatic differentiation☆48Updated 2 years ago
- Functional algorithms - definitions and implementations☆13Updated last month
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- Reversible programming in Agda☆13Updated 2 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆85Updated 8 months ago
- ☆24Updated 2 years ago
- Exact real arithmetic in C++☆50Updated 5 years ago
- An interactive theorem prover for string diagrams☆123Updated last year
- Accelerated machine learning with dependent types☆99Updated 3 months ago
- ☆44Updated last month
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆66Updated 2 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- ☆16Updated last year
- A Tensor Language☆55Updated 4 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 9 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆53Updated 2 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 6 months ago
- ☆21Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 8 months ago
- Python bindings for the egglog rust library☆90Updated this week
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- ☆19Updated 6 months ago
- A curated list of geometric algebra resources☆135Updated 5 years ago
- The simple essence of automatic differentiation☆201Updated 4 years ago
- Geometric algebra in JAX and numpy☆85Updated 8 months ago