Haskell experiments involving TVM AI framework
☆20Apr 26, 2019Updated 6 years ago
Alternatives and similar repositories for htvm
Users that are interested in htvm are comparing it to the libraries listed below
Sorting:
- ☆23Apr 28, 2023Updated 2 years ago
- A simple file/directory watcher for Linux and macOS and other BSDs☆13Oct 28, 2023Updated 2 years ago
- Haskell binding for Bullet physics engine☆24May 14, 2020Updated 5 years ago
- a playground for working with fully static tensors and automatic differentiation☆16Mar 18, 2021Updated 4 years ago
- ☆17Feb 13, 2021Updated 5 years ago
- Open records for Haskell☆22Oct 6, 2017Updated 8 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 9 years ago
- Haskell bindings for the FUSE library☆27Jan 22, 2024Updated 2 years ago
- Automatic Differentiation for Tensor Algebras☆28May 8, 2018Updated 7 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆29Jun 16, 2017Updated 8 years ago
- ☆29Mar 1, 2026Updated last week
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 2 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- Nix language support for VS Code☆28Feb 24, 2021Updated 5 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆73May 30, 2025Updated 9 months ago
- Remove all the cookies on the tray! - The Haskell iOS & Android board game☆28Mar 2, 2020Updated 6 years ago
- Combining Electron and Haskell☆31Jan 21, 2019Updated 7 years ago
- Re-implementation of the TASO compiler using equality saturation☆138Jun 28, 2021Updated 4 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Dec 22, 2025Updated 2 months ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Aug 5, 2025Updated 7 months ago
- Automatic Differentiation☆388Jan 20, 2026Updated last month
- Support for file uploads in multipart/form-data for servant☆40May 17, 2024Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- 破解B站网页端视频链接或视频分享链接得到视频分享者的UID。☆26Aug 27, 2025Updated 6 months ago
- Race Condition Running☆11Updated this week
- ☆12Apr 25, 2024Updated last year
- IPFS wrapper for Haskell☆43Apr 4, 2023Updated 2 years ago
- Compare the public API of different versions of a Hackage library☆62May 2, 2018Updated 7 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45May 31, 2022Updated 3 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Import from the Tiled map editor.☆16Sep 17, 2018Updated 7 years ago
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 5 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
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- A bot that uses elm-review to find common mistakes in packages.☆17Feb 16, 2022Updated 4 years ago