The VeriFx automated verification language
☆30Jul 17, 2026Updated last month
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 3 years ago
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 3 years ago
- A vectorclock library for Erlang.☆14May 27, 2022Updated 4 years ago
- Erlang client for Antidote☆15May 27, 2022Updated 4 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.
- Projects to participate to GSOC☆15Feb 20, 2022Updated 4 years ago
- Library for integrating ElectricSQL queries with your (React) routes☆19Mar 5, 2024Updated 2 years ago
- Static typechecker for Erlang☆67Aug 26, 2026Updated last week
- 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
- Quaver Tournament☆13Dec 29, 2025Updated 8 months ago
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- Erlang linter - rebar3 plugin☆44Aug 21, 2026Updated last week
- The Concordant Conflict-Free Replicated Datatypes (CRDT) library.☆41Sep 17, 2022Updated 3 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.
- A Scala.JS interface for IndexedDB☆17Mar 6, 2022Updated 4 years ago
- Turn your Mac into a Light Saber!☆13Dec 31, 2012Updated 13 years ago
- An interpreter for Janus, the reversible programming language.☆15Jun 7, 2020Updated 6 years ago
- LMDB-based RDF Quadstore implemented in Swift☆14Oct 29, 2024Updated last year
- Distributed systems infrastructure used by Riak.☆85Jun 12, 2026Updated 2 months ago
- erlang docset by Dash☆15Jul 24, 2012Updated 14 years ago
- Kubernetes API client library☆11Mar 21, 2019Updated 7 years ago
- Real-time sync for Postgres-backed Ash & Phoenix applications.☆31May 20, 2025Updated last year
- Universal and extensible data structure library for interacting with Erlang maps, proplists, dicts, etc..☆11Aug 20, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Export opencensus span metrics and statistics to Prometheus☆18Jan 15, 2019Updated 7 years ago
- 北京大学程序设计实习2018刘家瑛班作业☆10Jun 9, 2018Updated 8 years ago
- A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...☆10Apr 25, 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
- Whisperer provides an unopinionated approach for running multiple agents in Elixir☆30Dec 10, 2024Updated last year
- 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
- 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.
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 8 years ago
- multi-layer MVCC log append-only database library based on the Apache CouchDB btree.☆14Jul 23, 2018Updated 8 years ago
- The ultimate Quaver plugin for editing SVs. Remastered with many new features.☆24Updated this week
- RabbitMQ Real Time Replication for Riak☆12Dec 12, 2018Updated 7 years ago
- Riak DC Replication☆57Aug 14, 2026Updated 2 weeks ago
- A scriptable autotuning load generator for MQTT☆18Mar 4, 2026Updated 5 months ago
- A quest for a "standard" Erlang library with uniform, composable abstractions.☆18Dec 10, 2019Updated 6 years ago