tcarstens/verlang external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

tcarstens/verlang

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/tcarstens/verlang)

Close

tcarstens / verlangView on GitHubMore

• External links
• Readme badge

☆54Aug 5, 2013Updated 12 years ago

Alternatives and similar repositories for verlang

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

• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• project-fifo / erltrace

  View on GitHub
  Erlang DTrace consumer
  ☆23May 26, 2017Updated 8 years ago
• zinid / ocaml-erlang

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

  View on GitHub
  Parse transformer for use new OTP functions in old Erlang/OTP releases
  ☆12Feb 21, 2026Updated last week
• 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
• 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
  ☆13May 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
• burbas / erlang-embedded

  View on GitHub
  Embedded Erlang project
  ☆18Mar 1, 2011Updated 15 years ago
• efcasado / meta

  View on GitHub
  A metaprogramming library for Erlang.
  ☆17Dec 3, 2022Updated 3 years ago
• marianoguerra / erldn

  View on GitHub
  edn format parser for the erlang platform
  ☆28Nov 29, 2018Updated 7 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
  ☆39Feb 25, 2026Updated last week
• ddossot / jerg

  View on GitHub
  JSON Schema to Erlang Records Generator
  ☆47Feb 14, 2018Updated 8 years ago
• tamarit / edd

  View on GitHub
  Erlang Declarative Debugger
  ☆20Jul 22, 2020Updated 5 years ago
• g-andrade / stacktrace_compat

  View on GitHub
  get_stacktrace() compatibility in Erlang/OTP 21+
  ☆18Apr 2, 2021Updated 4 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
  ☆26Jan 30, 2026Updated last month
• EasyCrypt / certicrypt

  View on GitHub
  CertiCrypt Coq Framework
  ☆37Apr 6, 2016Updated 9 years 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 3 years ago
• charguer / tlc

  View on GitHub
  Library for Classical Coq
  ☆41Jan 20, 2026Updated last month
• 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
  ☆43Feb 23, 2026Updated last week
• 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
• choptastic / sql_bridge

  View on GitHub
  SQL_Bridge: An abstraction layer for Erlang SQL databases (MySQL and PostgreSQL)
  ☆21Updated this week
• pierreis / erlang-xxhash

  View on GitHub
  Erlang wrapper for xxHash.
  ☆29Nov 23, 2023Updated 2 years ago
• 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
• tsloughter / epubnub

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

  View on GitHub
  ☆23Dec 25, 2025Updated 2 months ago
• helium / erlang-splicer

  View on GitHub
  Splice 2 sockets together in Erlang
  ☆11Feb 10, 2022Updated 4 years ago
• rbkmoney / genlib

  View on GitHub
  Things long time missing from stdlib
  ☆11Sep 27, 2021Updated 4 years ago
• brigadier / tara

  View on GitHub
  Erlang tarantool connector, simplepool based
  ☆11Jul 22, 2017Updated 8 years ago