Alternatives and similar repositories for htvm

Users that are interested in htvm are comparing it to the libraries listed below

• MarisaKirisame / MemoryBalancer

  View on GitHub
  ☆23Apr 28, 2023Updated 2 years ago
• csabahruska / bullet

  View on GitHub
  Haskell binding for Bullet physics engine
  ☆24May 14, 2020Updated 5 years ago
• ehamberg / fswatcher

  View on GitHub
  A simple file/directory watcher for Linux and macOS and other BSDs
  ☆13Oct 28, 2023Updated 2 years ago
• ekmett / bad

  View on GitHub
  a playground for working with fully static tensors and automatic differentiation
  ☆16Mar 18, 2021Updated 4 years ago
• ixy-languages / ixy.hs

  View on GitHub
  ☆17Feb 13, 2021Updated 5 years ago
• atzeus / CTRex

  View on GitHub
  Open records for Haskell
  ☆22Oct 6, 2017Updated 8 years ago
• hubris-lang / hubris

  View on GitHub
  A dependently typed programming language, and verification tool
  ☆27Apr 3, 2016Updated 9 years ago
• eyeinsky / hfuse

  View on GitHub
  Haskell bindings for the FUSE library
  ☆27Jan 22, 2024Updated 2 years ago
• haskell-github-trust / crypto-api

  View on GitHub
  Haskell generic interface (type classes) for cryptographic algorithms
  ☆29Jun 16, 2017Updated 8 years ago
• surban / TensorAlgDiff

  View on GitHub
  Automatic Differentiation for Tensor Algebras
  ☆28May 8, 2018Updated 7 years ago
• erikd / vector-algorithms

  View on GitHub
  ☆28Aug 24, 2025Updated 5 months ago
• circuithub / fast-downward

  View on GitHub
  Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward
  ☆32May 11, 2023Updated 2 years ago
• MarisaKirisame / zombie

  View on GitHub
  Zombie chan revive!
  ☆27Feb 27, 2024Updated last year
• GaloisInc / semmc

  View on GitHub
  Stratified synthesis for learning machine code instruction semantics
  ☆40Sep 24, 2025Updated 4 months ago
• bbenoist / vscode-nix

  View on GitHub
  Nix language support for VS Code
  ☆28Feb 24, 2021Updated 4 years ago
• gussmith23 / glenside

  View on GitHub
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆73May 30, 2025Updated 8 months ago
• keera-studios / magic-cookies

  View on GitHub
  Remove all the cookies on the tray! - The Haskell iOS & Android board game
  ☆28Mar 2, 2020Updated 5 years ago
• codetalkio / Haskell-Electron-app

  View on GitHub
  Combining Electron and Haskell
  ☆31Jan 21, 2019Updated 7 years ago
• uwplse / tensat

  View on GitHub
  Re-implementation of the TASO compiler using equality saturation
  ☆138Jun 28, 2021Updated 4 years ago
• cmditch / elm-ethereum-generator

  View on GitHub
  Generate an elm-ethereum contract interface from your contract's ABI
  ☆11Dec 7, 2022Updated 3 years ago
• haskell-boxes / boxes

  View on GitHub
  A pretty-printing library for laying out text in two dimensions, using a simple box model.
  ☆38Dec 22, 2025Updated last month
• GaloisInc / renovate

  View on GitHub
  A library for binary analysis and rewriting
  ☆49Sep 28, 2023Updated 2 years ago
• GaloisInc / elf-edit

  View on GitHub
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Aug 5, 2025Updated 6 months ago
• ekmett / ad

  View on GitHub
  Automatic Differentiation
  ☆387Jan 20, 2026Updated 3 weeks ago
• raceconditionrunning / raceconditionrunning.github.io

  View on GitHub
  Race Condition Running
  ☆11Feb 6, 2026Updated last week
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• haskell-servant / servant-multipart

  View on GitHub
  Support for file uploads in multipart/form-data for servant
  ☆40May 17, 2024Updated last year
• gravidapp / quadraticvoting

  View on GitHub
  ☆12Apr 25, 2024Updated last year
• blitzcode / hackage-diff

  View on GitHub
  Compare the public API of different versions of a Hackage library
  ☆62May 2, 2018Updated 7 years ago
• fission-codes / ipfs-haskell

  View on GitHub
  IPFS wrapper for Haskell
  ☆43Apr 4, 2023Updated 2 years ago
• FreeProving / free-compiler

  View on GitHub
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45May 31, 2022Updated 3 years ago
• deech / fltkhs-media-player

  View on GitHub
  ☆11Sep 19, 2017Updated 8 years ago
• pheaver / netlist-verilog

  View on GitHub
  Netlist and Verilog Haskell Package
  ☆18Nov 21, 2010Updated 15 years ago
• bgamari / nanomsg-haskell

  View on GitHub
  Haskell bindings to nanomsg
  ☆25Jul 19, 2025Updated 6 months ago
• lgastako / elm-select

  View on GitHub
  ☆10Sep 26, 2017Updated 8 years ago
• MichaelSuen-thePointer / mqLinq

  View on GitHub
  yet another linq implementation in C++
  ☆10Jul 22, 2016Updated 9 years ago
• ly0 / rua

  View on GitHub
  Rualang, a python like programming language.
  ☆10Dec 15, 2017Updated 8 years ago
• bitc / hs-vault-tool

  View on GitHub
  Haskell client library for HashiCorp's Vault tool (via HTTP API)
  ☆10Oct 28, 2021Updated 4 years ago
• magthe / sandi

  View on GitHub
  Data encoding library for Haskell.
  ☆12Aug 4, 2023Updated 2 years ago