Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2
☆29Feb 7, 2026Updated 2 weeks ago
Alternatives and similar repositories for TensorType
Users that are interested in TensorType are comparing it to the libraries listed below
Sorting:
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Multi-arch Docker images for Idris 2☆13Feb 9, 2026Updated 2 weeks ago
- ☆12Nov 5, 2024Updated last year
- Repository for Web Technology - I Assignment Collection☆15Sep 13, 2023Updated 2 years ago
- Parallel version of incremental library☆20Nov 2, 2023Updated 2 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- First Class Record Fields in Haskell☆17Jan 8, 2026Updated last month
- PBT testsuite and libraries for testing multicore OCaml☆45Feb 1, 2026Updated 3 weeks ago
- A library for benign effects in Haskell☆20May 23, 2025Updated 9 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Oct 26, 2025Updated 4 months ago
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Single Page Web Applications in Idris☆27Nov 22, 2025Updated 3 months ago
- dependent type theory experiment☆26Mar 1, 2024Updated last year
- ☆19Apr 5, 2024Updated last year
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆54Dec 29, 2025Updated last month
- Agda category theory library for denotational design☆57Jan 25, 2026Updated last month
- ☆23May 10, 2025Updated 9 months ago
- Demo for dependent types + runtime code generation☆72Feb 18, 2025Updated last year
- ☆30Updated this week
- Facilities for generating dependently-typed data☆29Updated this week
- FizzBuzz, formally verified, provably correct☆28Mar 4, 2023Updated 2 years ago
- Haskell implementation of open games☆183Jan 31, 2025Updated last year
- The Steel separation logic library for F*☆36Nov 24, 2025Updated 3 months ago
- Provides a type-safe way of working with permutations in Idris☆37Oct 3, 2021Updated 4 years ago
- Type provider library for Idris☆95Dec 21, 2017Updated 8 years ago
- ☆44Apr 30, 2025Updated 10 months ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 3 months ago
- Statically typed functional programming language.☆11Jan 25, 2026Updated last month
- upbit-api on rust☆11May 28, 2025Updated 9 months ago
- An Idris port of the Haskell Hedghog library☆35Nov 17, 2025Updated 3 months ago
- A toy dependent typed language.☆46Updated this week
- Idris port of Haskell's sop-core library☆37Aug 14, 2025Updated 6 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- High-reproducibility CWL runner powered by Guix☆21Jan 28, 2026Updated 3 weeks ago
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- ☆10Nov 14, 2022Updated 3 years ago
- A Playwright MCP package in Nix☆17Jan 16, 2026Updated last month
- Firmware for the Macchina M2 to use your car as a sim racing controller☆13Jan 5, 2021Updated 5 years ago