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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Distributed Data Structures in Coq☆48Oct 7, 2013Updated 13 years ago
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- d-left counting bloom filters for erlang [WIP]☆12Apr 27, 2012Updated 14 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Providing PULSE instrumentable versions of Erlang OTP components☆15Aug 27, 2012Updated 14 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 9 months ago
- Generic erlang templates for vim☆10Mar 18, 2011Updated 15 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 6 months ago
- Rebar3 Plugin for building & deploying AWS Lambda functions implemented in Erllambda☆15Apr 9, 2026Updated 6 months ago
- Demonstrate the use of ruster_unsafe, a crate for creating Erlang NIF modules in Rust.☆10Mar 20, 2016Updated 10 years ago
- edn for Erlang☆13Jun 20, 2022Updated 4 years ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Nov 19, 2019Updated 6 years ago
- Lazy sequences for Erlang☆18Sep 1, 2011Updated 15 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- EQC tests for maps☆14May 17, 2018Updated 8 years ago
- Emacs Verilog Tree-sitter Major-mode☆12Oct 21, 2026Updated last week
- crappy bit of Erlang code whose sole purpose is to crash repeatedly.☆12Nov 28, 2012Updated 13 years ago
- ☆14Aug 23, 2019Updated 7 years ago
- Pyrefine – python code checker based on Hoare logic☆11Sep 29, 2022Updated 4 years ago
- ☆54Aug 5, 2013Updated 13 years ago
- Relation algebra library for Coq☆52Sep 21, 2026Updated last month
- ☆10Jan 28, 2013Updated 13 years ago
- TAPA is a dataflow HLS framework that features fast compilation, expressive programming model and generates high-frequency FPGA accelerat…☆19Aug 26, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- UUIDs that are byte-ordered lamport clocks (timestamp, worker_id). Much simpler than type-1 UUID's crappy, weirdo layout.☆21Nov 6, 2013Updated 12 years ago
- A direct-to-syslog logger over udp for Erlang☆11Sep 1, 2020Updated 6 years ago
- Computer vision demo running on the parallella board☆38Jul 24, 2013Updated 13 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 7 years ago
- Coq formalizations of functional languages.☆145Jul 2, 2020Updated 6 years ago
- ☆17Oct 9, 2023Updated 3 years ago
- gallina frontend for CompCert☆19Jul 6, 2019Updated 7 years ago
- Extended version of gen_fsm☆10Feb 3, 2011Updated 15 years ago
- Erlang VM for microcontrollers☆30Mar 16, 2015Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- fpga.el - FPGA & ASIC Utils for Emacs☆22Sep 15, 2026Updated last month
- Expressive test failure messages with matchers. A rough port of the Java hamcrest library to haskell☆11Aug 22, 2016Updated 10 years ago
- Supervised Session Actors☆22Jul 6, 2016Updated 10 years ago
- Webmachine Tutorial for LambdaJam 2013☆17Oct 7, 2015Updated 11 years ago
- Erlang Circular Buffer/List/LIFO Queue using ETS☆18Jan 24, 2011Updated 15 years ago
- Dependently Typed Metaprogramming Exercises☆24Feb 9, 2018Updated 8 years ago
- A Clojure library for generating clojure.test.check generators from JSON schemas.☆12Mar 6, 2014Updated 12 years ago