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:
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 10 months ago
- Accelerated machine learning with dependent types☆101Updated 2 weeks ago
- Compiler with automatic differentiation☆49Updated 2 years ago
- Functional algorithms - definitions and implementations☆13Updated 3 months ago
- A Tensor Language☆55Updated 4 years ago
- ☆44Updated 2 months ago
- A curated list of geometric algebra resources☆135Updated 2 weeks ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- Reversible programming in Agda☆13Updated 2 years ago
- Python bindings for egg☆49Updated 3 years ago
- The simple essence of automatic differentiation☆201Updated 4 years ago
- Python bindings for the egglog rust library☆94Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- ☆24Updated 2 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 10 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆68Updated 2 years ago
- ☆16Updated last year
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Updated 4 months ago
- Reverse-mode automatic differentiation in Rust (experiment)☆63Updated 4 years ago
- Haskell bindings for MLIR☆119Updated last week
- An interactive theorem prover for string diagrams☆124Updated last year
- Exact Inference Engine for Probabilistic Programs☆135Updated 10 months ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated 2 years ago
- Geometric algebra in JAX and numpy☆86Updated 3 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Interval arithmetic for real computation☆25Updated 3 weeks ago
- A formalization of first-order logic and Peano's axioms in Python☆21Updated 6 months ago