∂B nets: learning discrete, boolean-valued functions by gradient descent
☆21Jan 30, 2024Updated 2 years ago
Alternatives and similar repositories for db-nets
Users that are interested in db-nets are comparing it to the libraries listed below
Sorting:
- Wolfram Language connection to GPT, DALL-E, and more through the OpenAI API.☆31Apr 12, 2023Updated 2 years ago
- ☆11Apr 8, 2013Updated 12 years ago
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year
- Compiler with automatic differentiation☆49Oct 18, 2023Updated 2 years ago
- ☆12Jul 15, 2025Updated 7 months ago
- Lightweight web service clients in the WasmEdge Runtime using the Rust reqwest framework☆12Feb 6, 2026Updated 3 weeks ago
- Vapourware open world Middle-Earth death simulator☆15Jan 31, 2026Updated last month
- ☆11Jun 2, 2021Updated 4 years ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 10 months ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- A tool allowing students of Coursera's Heterogeneous Parallel Programming to work on homework using a machine without a CUDA GPU.☆11Mar 11, 2015Updated 10 years ago
- ☆12Oct 8, 2020Updated 5 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- Advent of Code 2023 (Mojo)☆12Sep 30, 2024Updated last year
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Additional features supporting paclets in Mathematica☆15Oct 3, 2017Updated 8 years ago
- ☆10May 7, 2024Updated last year
- Simple converter of Mathematica notebooks to markdown.☆51Nov 13, 2023Updated 2 years ago
- SParse lINear solvers in JAX☆28Feb 22, 2026Updated last week
- A pytorch-based implementation of Dirichlet Process Mixture Model (DPMM)☆13Nov 27, 2025Updated 3 months ago
- ☆10Sep 7, 2022Updated 3 years ago
- Creating dynamic libraries that can be loaded in the Wolfram Language via `LibraryLink`☆14Aug 21, 2019Updated 6 years ago
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 5 months ago
- Inspired by awesome lists, my personal findings (plus other's suggestions) for a massive dump☆10Oct 21, 2018Updated 7 years ago
- The Roguelike Tutorial in Rust -- from https://tomassedovic.github.io/roguelike-tutorial/☆12Jul 6, 2019Updated 6 years ago
- Chapters, code, and organizational files for the book "Simplified Machine Learning Workflows".☆12Nov 26, 2025Updated 3 months ago
- Syntax definitions for the Modelica language☆12Apr 12, 2021Updated 4 years ago
- An example repo for generating python bindings with cppyy.☆14Nov 19, 2019Updated 6 years ago
- DynamicLyrics, free iTunes assistant designed for u.☆10Aug 3, 2019Updated 6 years ago
- Stochastic gradient descent Haskell library☆12Jun 24, 2024Updated last year
- An experimental library for HTML generation in Mojo☆13May 8, 2024Updated last year
- Program memory visualizer for GDB/LLDB (bachelor thesis)☆12Apr 17, 2016Updated 9 years ago
- The repository contains container recipes to build the entire stack of Xeus-Cling and Cling including cuda extension with just a few comm…☆10Dec 22, 2020Updated 5 years ago
- A libary of mechanical material models for finite element simulations.☆14Jan 23, 2025Updated last year
- 🏎️ Animation for sprites☆11Oct 29, 2019Updated 6 years ago
- A disaggregated memory orchestration system that virtualizes cluster wide memory to scale data intensive, large memory workloads in virtu…☆13Apr 26, 2019Updated 6 years ago