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
- Haskell binding for Bullet physics engine☆24May 14, 2020Updated 5 years ago
- A simple file/directory watcher for Linux and macOS and other BSDs☆13Oct 28, 2023Updated 2 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
- Automatic Differentiation for Tensor Algebras☆28May 8, 2018Updated 7 years ago
- Haskell bindings for the FUSE library☆27Jan 22, 2024Updated 2 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆29Jun 16, 2017Updated 8 years ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- ☆29Mar 1, 2026Updated last week
- 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
- Combining Electron and Haskell☆31Jan 21, 2019Updated 7 years ago
- Remove all the cookies on the tray! - The Haskell iOS & Android board game☆28Mar 2, 2020Updated 6 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
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Aug 5, 2025Updated 7 months ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- Automatic Differentiation☆388Jan 20, 2026Updated last month
- Support for file uploads in multipart/form-data for servant☆40May 17, 2024Updated last year
- ☆12Apr 25, 2024Updated last year
- Race Condition Running☆11Feb 22, 2026Updated 2 weeks ago
- 破解B站网页端视频链接或视频分享链接得到视频分享者的UID。☆26Aug 27, 2025Updated 6 months ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- 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
- Rualang, a python like programming language.☆10Dec 15, 2017Updated 8 years ago
- - Documentation site☆40Dec 15, 2025Updated 2 months ago
- Haskell: Simple heterogeneous lists☆10Feb 7, 2022Updated 4 years ago
- A Janus event handler plugin that writes events to a SQLite database.☆16Apr 10, 2023Updated 2 years ago
- yet another linq implementation in C++☆10Jul 22, 2016Updated 9 years ago
- The most comprehensive debouncer for Elm☆13Nov 28, 2018Updated 7 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago