cmeiklejohn/vvclocks 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

cmeiklejohn/vvclocks

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/cmeiklejohn/vvclocks)

Close

cmeiklejohn / vvclocksView on GitHubMore

• External links
• Readme badge

Verified vector clocks, with Coq!

☆14Dec 15, 2013Updated 12 years ago

Alternatives and similar repositories for vvclocks

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

• cmeiklejohn / distributed-data-structures

  View on GitHub
  Distributed Data Structures in Coq
  ☆49Oct 7, 2013Updated 12 years ago
• gmalecha / mirror-core

  View on GitHub
  A framework for extensible, reflective decision procedures.
  ☆19Nov 25, 2019Updated 6 years ago
• project-fifo / erltrace

  View on GitHub
  Erlang DTrace consumer
  ☆23May 26, 2017Updated 8 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• DanielSchuessler / th-expand-syns

  View on GitHub
  Expands type synonyms in Template Haskell ASTs
  ☆11Jan 10, 2026Updated last month
• RAttab / luger

  View on GitHub
  A direct-to-syslog logger over udp for Erlang
  ☆11Sep 1, 2020Updated 5 years ago
• studzien / erlang-on-arm

  View on GitHub
  Erlang VM for microcontrollers
  ☆30Mar 16, 2015Updated 10 years ago
• benoitc / cbt

  View on GitHub
  multi-layer MVCC log append-only database library based on the Apache CouchDB btree.
  ☆14Jul 23, 2018Updated 7 years ago
• mesosphere-backup / telemetry-net

  View on GitHub
  ☆14Aug 23, 2019Updated 6 years ago
• xandkar / hope

  View on GitHub
  A quest for a "standard" Erlang library with uniform, composable abstractions.
  ☆18Dec 10, 2019Updated 6 years ago
• odo / revolver

  View on GitHub
  round-robin load balancer for Erlang processes
  ☆36Jan 12, 2024Updated 2 years ago
• refuge / rbeacon

  View on GitHub
  LAN discovery and presence in Erlang.
  ☆39Aug 8, 2014Updated 11 years ago
• gmalecha / template-coq

  View on GitHub
  Reflection library for Coq
  ☆12Sep 26, 2019Updated 6 years ago
• uwplse / oeuf

  View on GitHub
  gallina frontend for CompCert
  ☆19Jul 6, 2019Updated 6 years ago
• burbas / erlang-embedded

  View on GitHub
  Embedded Erlang project
  ☆18Mar 1, 2011Updated 15 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
• ramsay-t / mu2

  View on GitHub
  Erlang mutation testing tool
  ☆16Sep 24, 2014Updated 11 years ago
• damien-pous / relation-algebra

  View on GitHub
  Relation algebra library for Coq
  ☆50Feb 17, 2026Updated 2 weeks ago
• silviucpp / ezlib

  View on GitHub
  Erlang zlib NIF library optimized for streaming
  ☆16Feb 12, 2022Updated 4 years ago
• erlio / mnesia_cluster

  View on GitHub
  ☆18Oct 28, 2016Updated 9 years ago
• ferd / bertconf

  View on GitHub
  Make ETS tables out of statc BERT files that are auto-reloaded
  ☆41Dec 11, 2014Updated 11 years ago
• ddossot / jerg

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

  View on GitHub
  Complex event processing in Erlang
  ☆139Nov 1, 2016Updated 9 years ago
• bobatkey / system-f-parametricity-model

  View on GitHub
  A Model of Relationally Parametric System F in Coq
  ☆22May 27, 2015Updated 10 years ago
• p2k / ecoinpool

  View on GitHub
  A pool mining software written in Erlang for cryptographic currencies
  ☆64Jan 2, 2013Updated 13 years ago
• osadalakmal / cpp-raft

  View on GitHub
  Raft Consensus Algorithm Implementation in C++ (11)
  ☆25Nov 23, 2014Updated 11 years ago
• matwey / pybeam

  View on GitHub
  Python module to parse Erlang BEAM files
  ☆22Jun 23, 2025Updated 8 months ago
• pzel / mkr

  View on GitHub
  An implementation of µKanren in Lisp Flavored Erlang.
  ☆17Aug 5, 2015Updated 10 years ago
• ngerakines / etap

  View on GitHub
  etap is a simple erlang testing library that provides TAP compliant output.
  ☆93Sep 5, 2014Updated 11 years ago
• uwiger / plain_fsm

  View on GitHub
  A behaviour/support library for writing plain Erlang FSMs.
  ☆87May 14, 2025Updated 9 months ago
• pviotti / conver-old

  View on GitHub
  [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
  ☆18Jun 9, 2016Updated 9 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• tcarstens / verlang

  View on GitHub
  ☆54Aug 5, 2013Updated 12 years ago
• jadeallenx / udon

  View on GitHub
  Please see https://github.com/mrallen1/udon_ng for the "modern" version of this project.
  ☆51Nov 22, 2017Updated 8 years ago
• tsloughter / epubnub

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

  View on GitHub
  Partial application of Erlang functions
  ☆27Jan 22, 2020Updated 6 years ago
• RyanGlScott / eliminators

  View on GitHub
  Dependently typed elimination functions using singletons
  ☆28Jan 11, 2026Updated last month
• aolarchive / erlgraph

  View on GitHub
  An erlang application which will connect a d3js force directed graph to an erlang VM and display process information.
  ☆51Nov 28, 2017Updated 8 years ago