a playground for working with fully static tensors and automatic differentiation
☆16Mar 18, 2021Updated 4 years ago
Alternatives and similar repositories for bad
Users that are interested in bad are comparing it to the libraries listed below
Sorting:
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 6 years ago
- experimenting with unlifted classes via backpack☆37Aug 17, 2022Updated 3 years ago
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆15Jul 18, 2023Updated 2 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- A Variant that functions like Either but is extensible☆19Sep 11, 2021Updated 4 years ago
- higher-kinded data☆30May 16, 2023Updated 2 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Aug 23, 2019Updated 6 years ago
- Library for invertible parsing and printing☆33Aug 25, 2025Updated 6 months ago
- Serverless WordPress Deployment on Google Cloud Platform☆15Nov 7, 2025Updated 3 months ago
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- Higher-order, higher-order automatic differentiation☆30Jan 24, 2020Updated 6 years ago
- Running the code you want to write as fast as the code you have to write☆140Oct 16, 2016Updated 9 years ago
- Convenient codegen for PureScript☆32May 2, 2025Updated 10 months ago
- Zippers based on lenses and traversals☆41Aug 9, 2023Updated 2 years ago
- ☆36Jul 29, 2025Updated 7 months ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- A Scala library for locality sensitive hashing☆14Aug 1, 2018Updated 7 years ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 3 months ago
- Repositório das notas de aula e material computacional para a disciplina de Modelagem Matemática do Instituto de Matemática da UFRJ.☆12Jul 27, 2022Updated 3 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago
- This repo contains the knitr code for the paper: Gillespie, C. S., et al, 2010. Analysing yeast time course microarray data using BioCond…☆13Jan 25, 2016Updated 10 years ago
- ☆13May 28, 2024Updated last year
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- high abstraction synthesis☆14Apr 8, 2024Updated last year
- Computational Tools for Heat Exchanger Network Synthesis☆11Feb 24, 2026Updated last week
- Relational programming in Haskell. Mostly developed on twitch.☆269Jan 20, 2026Updated last month
- A graphical editor for graph-like structures☆104Dec 18, 2023Updated 2 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45May 31, 2022Updated 3 years ago
- Julia implementation of LULESH with MPI + X.☆13Jul 23, 2022Updated 3 years ago
- A Julia IO type that facilitates width-limited printing☆12Mar 21, 2023Updated 2 years ago
- rdiv!(::AbstractMatrix, ::UpperTriangular) and ldiv!(::LowerTriangular, ::AbstractMatrix)☆12Nov 18, 2024Updated last year
- Run NASA's General Mission Analysis Tool (GMAT) from Julia☆10Sep 3, 2020Updated 5 years ago
- 📀 You finally scored a record deal.☆11Apr 11, 2023Updated 2 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- purescript-react wrappers for map gl☆12Mar 8, 2023Updated 2 years ago
- ☆11Apr 26, 2021Updated 4 years ago
- Javascript toplevel worker☆14Feb 5, 2026Updated 3 weeks ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago