Alternatives and similar repositories for verlang

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

• project-fifo / erltrace

  View on GitHub
  Erlang DTrace consumer
  ☆23May 26, 2017Updated 8 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• Ledest / otpbp

  View on GitHub
  Parse transformer for use new OTP functions in old Erlang/OTP releases
  ☆12Jan 14, 2026Updated last month
• goertzenator / rebar3_rust

  View on GitHub
  Rebar3 plugin to build Rust crates (unmaintained). See https://github.com/filmor/rebar3_rust/tree/update for more recent work.
  ☆10Sep 26, 2018Updated 7 years ago
• zinid / ocaml-erlang

  View on GitHub
  Implementation of some Erlang primitives in OCaml
  ☆11Jun 16, 2017Updated 8 years ago
• bvaugon / obytelib

  View on GitHub
  OCaml bytecode library tools
  ☆33Apr 19, 2022Updated 3 years ago
• erlangbureau / octopus

  View on GitHub
  Small and flexible pool manager written in Erlang
  ☆12May 31, 2019Updated 6 years ago
• tlringer / thesis

  View on GitHub
  haha I'm graduating
  ☆14Jul 22, 2021Updated 4 years ago
• stofel / ecldb

  View on GitHub
  Erlang key-proccess cluster database
  ☆12May 22, 2020Updated 5 years ago
• CoqHott / exceptional-tt

  View on GitHub
  A Coq plugin that implements exceptions in Coq
  ☆13Jan 7, 2021Updated 5 years ago
• gootik / rebar_cmd

  View on GitHub
  A rebar plugin for running custom commands
  ☆16Jun 14, 2021Updated 4 years ago
• nuex / erl_gm

  View on GitHub
  An Erlang GraphicsMagick wrapper
  ☆28Dec 3, 2020Updated 5 years ago
• marianoguerra / erldn

  View on GitHub
  edn format parser for the erlang platform
  ☆28Nov 29, 2018Updated 7 years ago
• efcasado / meta

  View on GitHub
  A metaprogramming library for Erlang.
  ☆17Dec 3, 2022Updated 3 years ago
• burbas / erlang-embedded

  View on GitHub
  Embedded Erlang project
  ☆18Mar 1, 2011Updated 14 years ago
• jlouis / erlangnode

  View on GitHub
  Run an OCaml program as an erlang node
  ☆29Mar 25, 2016Updated 9 years ago
• smtcoq / sniper

  View on GitHub
  ☆38Updated this week
• ddossot / jerg

  View on GitHub
  JSON Schema to Erlang Records Generator
  ☆47Feb 14, 2018Updated 8 years ago
• g-andrade / stacktrace_compat

  View on GitHub
  get_stacktrace() compatibility in Erlang/OTP 21+
  ☆18Apr 2, 2021Updated 4 years ago
• tamarit / edd

  View on GitHub
  Erlang Declarative Debugger
  ☆20Jul 22, 2020Updated 5 years ago
• aa755 / ROSCoq

  View on GitHub
  Robots powered by Constructive Reals
  ☆34Nov 3, 2017Updated 8 years ago
• rocq-prover / bot

  View on GitHub
  The Rocq Prover bot
  ☆24Jan 30, 2026Updated 2 weeks ago
• EasyCrypt / certicrypt

  View on GitHub
  CertiCrypt Coq Framework
  ☆37Apr 6, 2016Updated 9 years ago
• charguer / tlc

  View on GitHub
  Library for Classical Coq
  ☆40Jan 20, 2026Updated 3 weeks ago
• lfeutre / lmud

  View on GitHub
  An Erlang and LFE MUD/MUSH Server.
  ☆23Oct 26, 2022Updated 3 years ago
• b / sha3

  View on GitHub
  SHA-3 (KECCAK) Erlang NIFs (based on NIST reference C implementation)
  ☆23Mar 3, 2023Updated 2 years ago
• spawngrid / seqbind

  View on GitHub
  Sequential Binding Parse Transformation for Erlang
  ☆69Oct 30, 2017Updated 8 years ago
• rabbitmq / ra-kv-store

  View on GitHub
  Raft-based key-value store
  ☆43Jan 26, 2026Updated 2 weeks ago
• pierreis / erlang-xxhash

  View on GitHub
  Erlang wrapper for xxHash.
  ☆29Nov 23, 2023Updated 2 years ago
• choptastic / sql_bridge

  View on GitHub
  SQL_Bridge: An abstraction layer for Erlang SQL databases (MySQL and PostgreSQL)
  ☆21Jan 24, 2026Updated 3 weeks ago
• hide-kawabata / traf

  View on GitHub
  A proof tree viewer that works with Coq through Proof General
  ☆28Jan 29, 2021Updated 5 years ago
• rusterlium / rebar3_cargo

  View on GitHub
  Rebar3 plugin to build Rust crates
  ☆22Jan 8, 2023Updated 3 years ago
• tsloughter / epubnub

  View on GitHub
  Erlang PubNub API
  ☆28Sep 11, 2016Updated 9 years ago
• egobrain / equery

  View on GitHub
  ☆23Dec 25, 2025Updated last month
• backtracking / functory

  View on GitHub
  a distributed computing library for OCaml
  ☆24Jan 19, 2024Updated 2 years ago
• SimonJF / monitored-session-erlang

  View on GitHub
  Supervised Session Actors
  ☆22Jul 6, 2016Updated 9 years ago
• JPDSousa / AQL

  View on GitHub
  An SQL interface for AntidoteDB
  ☆13Mar 18, 2018Updated 7 years ago
• msantos / erpcgen

  View on GitHub
  RPC/XDR protocol compiler (from jungerl)
  ☆14Oct 4, 2019Updated 6 years ago
• amokhtar / iso_erlang

  View on GitHub
  Fast case-insensitive validation and conversion between ISO Alpha-2, Alpha-3, and Numeric Codes.
  ☆12Sep 7, 2017Updated 8 years ago