Reexporting TensorFlow Haskell with dependent typed functions
☆46Aug 8, 2019Updated 6 years ago
Alternatives and similar repositories for tensorflow-haskell-deptyped
Users that are interested in tensorflow-haskell-deptyped are comparing it to the libraries listed below
Sorting:
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- making data science easy and safe with data frames in haskell☆28Jul 31, 2017Updated 8 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 7 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Jun 25, 2020Updated 5 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Jul 1, 2022Updated 3 years ago
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 5 years ago
- Content Addressable Storage Archive☆41Sep 26, 2025Updated 5 months ago
- ☆23Apr 17, 2018Updated 7 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Feb 25, 2017Updated 9 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Normalise GHC.TypeLits.Nat equations☆43Feb 25, 2026Updated last week
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- ☆12May 22, 2016Updated 9 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- ☆12Jan 2, 2026Updated 2 months ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago
- Stroll: an experimental build system☆42May 27, 2023Updated 2 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Jul 27, 2019Updated 6 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Jan 3, 2023Updated 3 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- Agda-style equational reasoning in Haskell☆54Jan 18, 2026Updated last month
- A Haskell translation of Idris's original algebraic effects library☆41Sep 23, 2016Updated 9 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Hackage search engine☆56Feb 19, 2018Updated 8 years ago