Functional algorithms - definitions and implementations
☆13Oct 17, 2025Updated 4 months ago
Alternatives and similar repositories for functional_algorithms
Users that are interested in functional_algorithms are comparing it to the libraries listed below
Sorting:
- Collection of scripts to build PyTorch and the domain libraries from source.☆13Feb 4, 2026Updated 3 weeks ago
- A compiler written in Mojo 🔥 and generates RISC-V assembly☆17Jun 25, 2024Updated last year
- DLPack data exchange interface in Python☆23Jan 3, 2024Updated 2 years ago
- An opinionated open source deployment of jupyterhub based on an Slurm job scheduler.☆30Sep 30, 2024Updated last year
- Remote Backend Compiler☆30Sep 3, 2024Updated last year
- Test suite for Python array API standard compliance☆70Updated this week
- Accurate, Hardware Accelerated, Special Functions in Mojo 🔥☆37Dec 5, 2024Updated last year
- ☆10Jul 22, 2024Updated last year
- ☆10Jan 16, 2024Updated 2 years ago
- Learning image compressed sensing with sub-pixel convolutional generative adversarial network☆10Sep 16, 2019Updated 6 years ago
- This is the official repository of the paper Top-N Recommendation Algorithms: A Quest for the State of the Art☆10Apr 5, 2022Updated 3 years ago
- Efficient misspecification uncertainties for linear regression☆16Feb 19, 2026Updated last week
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated last week
- ☆10Jun 1, 2024Updated last year
- Material for the Berlin Bayesian reading group covering Statistical Rethinking by Richard McElreath☆10May 7, 2020Updated 5 years ago
- ☆12Oct 8, 2020Updated 5 years ago
- Dynamical Systems with JAX☆12Jan 11, 2026Updated last month
- 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
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- Long Long Term Memory Neural Net Cells☆10Jan 25, 2022Updated 4 years ago
- ☆10May 7, 2024Updated last year
- Connection provers in Rust☆14Mar 13, 2024Updated last year
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- ☆11Oct 29, 2022Updated 3 years ago
- ☆12Dec 9, 2019Updated 6 years ago
- ☆13Mar 27, 2019Updated 6 years ago
- ☆12Aug 11, 2019Updated 6 years ago
- Variants of the Kaczmarz algorithm for solving linear systems in Python.☆13Sep 4, 2025Updated 5 months ago
- Dummy repo for testing the doxygen - breathe - readthedocs build process.☆11Jun 17, 2022Updated 3 years ago
- Python Tools for the POP Metrics☆13Feb 16, 2022Updated 4 years ago
- ☆22Oct 30, 2024Updated last year
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Reactive memoization for Emacs Lisp.☆11Feb 17, 2022Updated 4 years ago
- Video about NP-completeness, circuit SAT and "reversing time"☆15Aug 18, 2024Updated last year
- Fork: OTFFT-6.5 (OK Ojisan's Template FFT) - a C++ Template-based Fast Fourier Transform Library☆13Oct 29, 2021Updated 4 years ago
- Demonstrates a fix for the mutating divide-and-conquer COW problem☆14Apr 12, 2020Updated 5 years ago