Alternatives and similar repositories for HVM4

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

• Wallaceh / cukeforker

  View on GitHub
  Library to maintain a forking queue of Cucumber processes
  ☆16Oct 17, 2019Updated 6 years ago
• T-x-T / dukatia

  View on GitHub
  A way to manage your finances, self-hosted with docker and running in your browser
  ☆10Aug 17, 2025Updated 5 months ago
• josephwecker / epgsql_pool

  View on GitHub
  Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.
  ☆31Apr 23, 2010Updated 15 years ago
• lambdaclass / metal_playground

  View on GitHub
  A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.
  ☆10Mar 17, 2023Updated 2 years ago
• ZiCog / fibo_4784969

  View on GitHub
  The million digit Fibonacci number challenge. Calculate fibo(4784969) in various languages.
  ☆12Oct 5, 2025Updated 4 months ago
• saleyn / netmon

  View on GitHub
  Erlang Network Monitor
  ☆11Apr 22, 2016Updated 9 years ago
• unbalancedparentheses / learning

  View on GitHub
  I like to learn new things
  ☆10Dec 10, 2022Updated 3 years ago
• kariy / starkmint

  View on GitHub
  ☆13Mar 6, 2023Updated 2 years ago
• Casassarnau / django-jwt-oidc

  View on GitHub
  Django library that implements the authentification for OpenId SSO with JWT from oauth2.
  ☆11Apr 3, 2024Updated last year
• WhoopInc / dogstatsde

  View on GitHub
  A StatsD (plus Datadog tag additions) client for Erlang
  ☆12Mar 26, 2024Updated last year
• nixpulvis / lambash

  View on GitHub
  A λ-calculus shell (because I love writing shells).
  ☆11Jan 2, 2020Updated 6 years ago
• marianoguerra / match

  View on GitHub
  [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time
  ☆16Oct 24, 2009Updated 16 years ago
• lambdatoast / elm-json

  View on GitHub
  A library for convenient and composable translation between JSON and Elm types
  ☆16Feb 18, 2015Updated 10 years ago
• NethermindEth / optimized_ecc_cairo

  View on GitHub
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Feb 8, 2023Updated 3 years ago
• mturquette / ghar-email

  View on GitHub
  Email configuration repository for ghar
  ☆12Mar 3, 2018Updated 7 years ago
• hurchalla / modular_arithmetic

  View on GitHub
  Clockwork: A Modular Arithmetic library for C++
  ☆12Nov 18, 2025Updated 2 months ago
• hengestone / scuttleberl

  View on GitHub
  An Erlang implementation of the Secure Scuttlebutt protocol
  ☆19Oct 31, 2019Updated 6 years ago
• CREATe-centre / sociaml-oauth-client

  View on GitHub
  OAuth client library in OCaml.
  ☆18Oct 16, 2017Updated 8 years ago
• hnc-agency / gen_agent

  View on GitHub
  ☆10Dec 22, 2021Updated 4 years ago
• charles-l / po

  View on GitHub
  minimal lisp that compiles to x86
  ☆10Mar 19, 2017Updated 8 years ago
• smukil / chatgptredisclient

  View on GitHub
  A distributed, fault-tolerant Redis Client POC completely written by prompting ChatGPT.
  ☆15Dec 7, 2022Updated 3 years ago
• lambdaclass / aleo_lambda_blockchain

  View on GitHub
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Feb 8, 2023Updated 3 years ago
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• KMahoney / kpm-list

  View on GitHub
  An Emacs buffer list
  ☆20Sep 24, 2017Updated 8 years ago
• lambdaclass / starknet_rollup_on_bitcoin

  View on GitHub
  Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
  ☆13Jul 14, 2023Updated 2 years ago
• purcell / mode-line-bell

  View on GitHub
  Flash the Emacs mode line instead of ringing the bell
  ☆18Nov 7, 2024Updated last year
• icaruswings / gizmo

  View on GitHub
  Gizmo is a simple page model testing framework which aims to DRY up testing assertions by abstracting code that defines your page.
  ☆42May 24, 2018Updated 7 years ago
• lopeetall / caulk

  View on GitHub
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Jun 29, 2022Updated 3 years ago
• tsloughter / vanguard

  View on GitHub
  Discover Cadre in the Vanguard
  ☆10Aug 18, 2016Updated 9 years ago
• gvlx / gawk

  View on GitHub
  forked from git://git.savannah.gnu.org/gawk.git
  ☆12May 24, 2022Updated 3 years ago
• mal-hunter / Malware-Analysis-CSCI-4976

  View on GitHub
  Course materials for Malware Analysis by RPISEC
  ☆10May 11, 2017Updated 8 years ago
• 0xalpharush / capture-the-ether

  View on GitHub
  My solutions to capture the ether
  ☆13Jan 4, 2022Updated 4 years ago
• attresearch / yakker

  View on GitHub
  ☆24Feb 1, 2012Updated 14 years ago
• facundoolano / clojure-gettext

  View on GitHub
  Utilities to write multilingual clojure programs
  ☆13Apr 20, 2016Updated 9 years ago
• argv0 / dtrace-erlang-bashochat-12142011

  View on GitHub
  Slides and Examples From "DTrace and Erlang" @ BashoChat 001
  ☆16Dec 15, 2011Updated 14 years ago
• pku-minic / first-step-rs

  View on GitHub
  Take your first step in writing a compiler. Implemented in Rust.
  ☆16Apr 17, 2023Updated 2 years ago
• argumentcomputer / radiya.rs

  View on GitHub
  A Rust implementation of the Lean kernel
  ☆11Jan 2, 2023Updated 3 years ago
• erln8 / erln8

  View on GitHub
  erln8 v2: the sneaky Erlang version manager
  ☆13Jan 17, 2016Updated 10 years ago
• nonabelian / dragon_kings

  View on GitHub
  Log-periodic power laws for critical phenomena
  ☆14Nov 22, 2018Updated 7 years ago