verifx-prover/verifx 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

verifx-prover/verifx

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/verifx-prover/verifx)

Close

verifx-prover / verifxView on GitHubMore

• External links
• Readme badge

The VeriFx automated verification language

☆30Oct 17, 2025Updated 5 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.

• electric-sql / typescript-client

  View on GitHub
  ElectricSQL TypeScript client library.
  ☆51Apr 20, 2023Updated 2 years ago
• concordant / c-service

  View on GitHub
  A distributed database service for the Concordant platform.
  ☆13Sep 17, 2022Updated 3 years ago
• concordant / c-markdown-editor

  View on GitHub
  A CRDT based collaborative markdown editor.
  ☆16Sep 17, 2022Updated 3 years ago
• AntidoteDB / vectorclock

  View on GitHub
  A vectorclock library for Erlang.
  ☆14May 27, 2022Updated 3 years ago
• AntidoteDB / antidote-erlang-client

  View on GitHub
  Erlang client for Antidote
  ☆15May 27, 2022Updated 3 years ago
• erlef / gsoc

  View on GitHub
  Projects to participate to GSOC
  ☆15Feb 20, 2022Updated 4 years ago
• electric-sql / legacy-vaxine

  View on GitHub
  Vaxine provides rich-CRDT features on top of Antidote.
  ☆15Mar 23, 2022Updated 4 years ago
• rescala-lang / REScala

  View on GitHub
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆98Jun 16, 2025Updated 9 months ago
• mikeal / block-box

  View on GitHub
  Universal hash addressed block container.
  ☆15May 13, 2023Updated 2 years ago
• gbogard / scalajs-idb

  View on GitHub
  A Scala.JS interface for IndexedDB
  ☆17Mar 6, 2022Updated 4 years ago
• tschudin / scuttlesort

  View on GitHub
  Incremental Consistent Topological Sort for Append-only Logs
  ☆14Jun 28, 2022Updated 3 years ago
• laudiacay / p1nch

  View on GitHub
  private 1inch
  ☆14Apr 23, 2023Updated 2 years ago
• mini-monkey / mini-monkey

  View on GitHub
  MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.
  ☆12Jan 27, 2021Updated 5 years ago
• cmeiklejohn / loquat

  View on GitHub
  Loquat: A System for Large-Scale Actor Programming
  ☆11Mar 17, 2017Updated 9 years ago
• ipdxco / unified-github-workflows

  View on GitHub
  Automatically distribute GitHub Actions workflow across repositories.
  ☆12Updated this week
• ipfs / helia-ipns

  View on GitHub
  An implementation of IPNS for Helia
  ☆13Jan 8, 2024Updated 2 years ago
• ipld / js-unixfs

  View on GitHub
  UnixFS Directed Acyclic Graph for IPLD
  ☆11Mar 1, 2026Updated 3 weeks ago
• danielwhite / cowboy_cors

  View on GitHub
  Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)
  ☆13Dec 27, 2016Updated 9 years ago
• AntidoteDB / antidote_crdt

  View on GitHub
  CRDT implementations to use with Antidote
  ☆36May 27, 2022Updated 3 years ago
• kasei / diomede

  View on GitHub
  LMDB-based RDF Quadstore implemented in Swift
  ☆14Oct 29, 2024Updated last year
• Kapeli / erlang-docset

  View on GitHub
  erlang docset by Dash
  ☆15Jul 24, 2012Updated 13 years ago
• project-fifo / rebar3_lint

  View on GitHub
  Erlang linter - rebar3 plugin
  ☆43Mar 14, 2026Updated last week
• travelping / ekub

  View on GitHub
  Kubernetes API client library
  ☆11Mar 21, 2019Updated 7 years ago
• concordant / c-crdtlib

  View on GitHub
  The Concordant Conflict-Free Replicated Datatypes (CRDT) library.
  ☆40Sep 17, 2022Updated 3 years ago
• gburd / hamt

  View on GitHub
  Ideal Hash Array Mapped Tries: an Erlang functional datatype
  ☆18Nov 15, 2013Updated 12 years ago
• beaver-lodge / kinda

  View on GitHub
  Ship C library with Zig-based NIF for Elixir
  ☆15Oct 26, 2025Updated 4 months ago
• opencensus-beam / opencensus-prometheus

  View on GitHub
  Export opencensus span metrics and statistics to Prometheus
  ☆18Jan 15, 2019Updated 7 years ago
• riak-core-lite / riak_core_lite

  View on GitHub
  Distributed systems infrastructure used by Riak.
  ☆83Nov 27, 2025Updated 3 months ago
• hyprland-community / hypract

  View on GitHub
  KDE activities for hyprland [maintainer=@yavko]
  ☆21May 15, 2024Updated last year
• choptastic / erlang_ds

  View on GitHub
  Universal and extensible data structure library for interacting with Erlang maps, proplists, dicts, etc..
  ☆11Dec 17, 2025Updated 3 months ago
• probe-lab / ants-watch

  View on GitHub
  DHT honeypot monitoring tool
  ☆21Feb 10, 2026Updated last month
• filecoin-project / go-f3

  View on GitHub
  Golang implementation of Fast Finality for Filecoin (F3)
  ☆17Mar 1, 2026Updated 3 weeks ago
• tintfoundation / bitboot

  View on GitHub
  Bootstrap a distributed p2p network
  ☆18May 11, 2019Updated 6 years ago
• IvanMartinez / oauth2_webmachine

  View on GitHub
  Webmachine implementation of an OAuth2 server
  ☆19Jun 3, 2015Updated 10 years ago
• lasp-lang / gen_flow

  View on GitHub
  Generic abstraction for building dataflow computations.
  ☆16Nov 21, 2017Updated 8 years ago
• n0-computer / bao-tree

  View on GitHub
  An implementation of BLAKE3 verified streaming
  ☆30Nov 4, 2025Updated 4 months ago
• jarrodhroberson / inet_mdns

  View on GitHub
  Bonjour / Zeroconf in Erlang
  ☆19Apr 29, 2010Updated 15 years ago
• ipfs / js-ipfs-utils

  View on GitHub
  IPFS utils
  ☆25Mar 1, 2026Updated 3 weeks ago
• project-fifo / cowboy_oauth

  View on GitHub
  snarl auth2 handlers for cowboy.
  ☆11Feb 18, 2016Updated 10 years ago