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:
- Probabilistic programming system for fast and exact symbolic inference☆80Updated 11 months ago
- ☆22Updated 2 years ago
- Compiler with automatic differentiation☆48Updated last year
- Reversible programming in Agda☆12Updated 2 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 7 months ago
- a datastructure for scalable combinatorial syntax☆18Updated 4 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆50Updated last year
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Composable autodiff for the interactive web.☆26Updated 9 months ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- Geometric algebra in JAX and numpy☆81Updated 3 months ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- ☆19Updated last month
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Geometric Algebra package for JAX☆49Updated 3 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆24Updated last year
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- A formalization of ML kernel languages☆18Updated last week
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago
- vertical + gpu + free join + datalog☆20Updated 4 months ago
- Lean 4 as a scripting language in Houdini☆20Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆38Updated this week
- Interval arithmetic for real computation☆23Updated last month
- A Tensor Language☆55Updated 4 years ago