🦠AD in less than 20 lines
☆54Aug 2, 2021Updated 4 years ago
Alternatives and similar repositories for picograd
Users that are interested in picograd are comparing it to the libraries listed below
Sorting:
- Manfred von Thun's Programming Language Joy☆17Feb 24, 2026Updated last week
- Solvers and makers for Pencil Puzzles☆19Nov 15, 2011Updated 14 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Public accompanying repository for Universite de Montreal's IFT 6757: Autnonomous Vehicles, Fall 2019.☆12Jun 21, 2022Updated 3 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- A new declarative programming language☆25Oct 12, 2020Updated 5 years ago
- Implementation of Bayesian Sum-Product Networks☆13May 19, 2020Updated 5 years ago
- Creates a compressed regex from a list of strings☆13Jun 7, 2025Updated 8 months ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- Just another IRC bot.☆14Feb 22, 2026Updated last week
- Finite state transducer library. Minimalistic pure C implementation.☆14Apr 23, 2020Updated 5 years ago
- Experimental flexible GUI framework☆14May 14, 2023Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- This is the template for the gym agent.☆13Nov 8, 2018Updated 7 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆19Sep 15, 2024Updated last year
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 3 years ago
- Repository for Deep Active Localization research and benchmarks☆36May 12, 2020Updated 5 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Nov 19, 2019Updated 6 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- A Derive-Based GUI Library for Rust☆19Dec 29, 2019Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- different AI algorithms to solve board games☆19Nov 4, 2018Updated 7 years ago
- Curated list of machine learning and deep learning frameworks and resources for JVM☆20Dec 9, 2020Updated 5 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Mar 19, 2024Updated last year
- Paper: The simple essence of automatic differentiation☆23Nov 9, 2018Updated 7 years ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated last year
- ☆22Jan 19, 2023Updated 3 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26May 27, 2020Updated 5 years ago
- u-MPS implementation and experimentation code used in the paper Tensor Networks for Probabilistic Sequence Modeling (https://arxiv.org/ab…☆19Jul 2, 2020Updated 5 years ago
- ☆21Jul 11, 2022Updated 3 years ago
- An all-digital, ring-oscillator-based Ising solver.☆25May 16, 2024Updated last year
- Identifying similar OCaml codes☆30Jul 30, 2024Updated last year
- A gv file representing the relationships between various algebraic structures.☆19Oct 25, 2020Updated 5 years ago
- Young and dynamic build system for Python☆21Jun 9, 2023Updated 2 years ago
- ☆19Dec 15, 2023Updated 2 years ago
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- Stackless Joy☆23Apr 15, 2025Updated 10 months ago
- Compress sets of integers efficiently☆23Apr 17, 2025Updated 10 months ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago