The VeriFx automated verification language
☆30Jul 17, 2026Updated 2 months ago
Alternatives and similar repositories for verifx
Users that are interested in verifx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Vaxine provides rich-CRDT features on top of Antidote.☆15Mar 23, 2022Updated 4 years ago
- A CRDT based collaborative markdown editor.☆16Sep 17, 2022Updated 4 years ago
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 4 years ago
- Erlang client for Antidote☆15May 27, 2022Updated 4 years ago
- Static typechecker for Erlang☆67Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- CRDT implementations to use with Antidote☆36May 27, 2022Updated 4 years ago
- Loquat: A System for Large-Scale Actor Programming☆11Mar 17, 2017Updated 9 years ago
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- Erlang linter - rebar3 plugin☆44Aug 21, 2026Updated last month
- The Concordant Conflict-Free Replicated Datatypes (CRDT) library.☆41Sep 17, 2022Updated 4 years ago
- LMDB-based RDF Quadstore implemented in Swift☆14Oct 29, 2024Updated last year
- Distributed systems infrastructure used by Riak.☆85Jun 12, 2026Updated 3 months ago
- erlang docset by Dash☆15Jul 24, 2012Updated 14 years ago
- Kubernetes API client library☆11Mar 21, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Universal and extensible data structure library for interacting with Erlang maps, proplists, dicts, etc..☆11Aug 20, 2026Updated last month
- Export opencensus span metrics and statistics to Prometheus☆18Jan 15, 2019Updated 7 years ago
- Generic abstraction for building dataflow computations.☆16Nov 21, 2017Updated 8 years ago
- snarl auth2 handlers for cowboy.☆11Feb 18, 2016Updated 10 years ago
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆16Jun 17, 2022Updated 4 years ago
- A GitHub action to build a docker from scratch container from a BEAM (Elixir/Erlang) release☆16Jun 17, 2024Updated 2 years ago
- Intel DPDK support☆17Aug 7, 2014Updated 12 years ago
- multi-layer MVCC log append-only database library based on the Apache CouchDB btree.☆14Jul 23, 2018Updated 8 years ago
- RabbitMQ Real Time Replication for Riak☆12Dec 12, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Riak DC Replication☆57Aug 14, 2026Updated last month
- A quest for a "standard" Erlang library with uniform, composable abstractions.☆18Dec 10, 2019Updated 6 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Mar 15, 2018Updated 8 years ago
- The Erlang port of Hashid to generate YouTube-like hashids from one or many numbers.☆19Jan 2, 2017Updated 9 years ago
- website for CMU 17-313☆51Updated this week
- BETA: Dokku Plugin For VerneMQ MQTT Broker☆12Dec 31, 2020Updated 5 years ago
- Scalable reliable delivery protocol for Lasp.☆22Oct 13, 2021Updated 4 years ago
- An erlang ETS based rate limiter inspired by Jobs☆16Jul 13, 2021Updated 5 years ago
- A little APL for the BEAM☆14Jun 25, 2022Updated 4 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.
- ntablet_documents☆11May 30, 2020Updated 6 years ago
- Ansible role to install beehive https://github.com/muesli/beehive☆12Jun 30, 2017Updated 9 years ago
- An audio server, programming language, and IDE for sound synthesis and algorithmic composition.☆15Feb 2, 2017Updated 9 years ago
- Expose Prometheus metrics using cowboy/cowboy2☆21May 8, 2025Updated last year
- Erlang pipeline parse_transform allowing to apply list of functions☆17Nov 18, 2021Updated 4 years ago
- Robot Operating System in Erlang☆19Jul 1, 2022Updated 4 years ago
- Open Tracing Toolkit for ERlang☆24Jun 22, 2018Updated 8 years ago