The VeriFx automated verification language
☆30Oct 17, 2025Updated 4 months ago
Alternatives and similar repositories for verifx
Users that are interested in verifx are comparing it to the libraries listed below
Sorting:
- Plugin for build a Vue 3 app in front and load it on CakePHP site. Communicate Vue 3 Component on front with back without implement and u…☆12Mar 3, 2025Updated last year
- DKIM support on e-mail☆11Feb 5, 2026Updated 3 weeks ago
- A compact, file-based routing microframework based on Symfony's HttpKernel Component with integrated route handlers and Twig engine, good…☆15Jan 4, 2026Updated 2 months ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- private 1inch☆14Apr 23, 2023Updated 2 years ago
- My attempt to write a sandboxing library for clojure to allow secure execution of untrusted code☆41Apr 2, 2011Updated 14 years ago
- A Scala.JS interface for IndexedDB☆17Mar 6, 2022Updated 3 years ago
- A library that implements the websocket protocol on top of Async☆14Jan 15, 2026Updated last month
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆16Jun 17, 2022Updated 3 years ago
- Tame your wild DOM string IDs.☆23Sep 18, 2025Updated 5 months ago
- ☆14Jan 30, 2025Updated last year
- LMDB-based RDF Quadstore implemented in Swift☆14Oct 29, 2024Updated last year
- Cluster membership and failure detection☆11Oct 24, 2023Updated 2 years ago
- Chart.js bindings for OCaml☆13May 13, 2021Updated 4 years ago
- OpenSCAD DSL for OCaml☆15Oct 4, 2022Updated 3 years ago
- A Laravel & VueJS package for creating Ajax DataTables.☆10Mar 12, 2025Updated 11 months ago
- Loquat: A System for Large-Scale Actor Programming☆11Mar 17, 2017Updated 8 years ago
- Automatically distribute GitHub Actions workflow across repositories.☆12Updated this week
- Incremental Consistent Topological Sort for Append-only Logs☆14Jun 28, 2022Updated 3 years ago
- SBT Plugins For ZIO Projects☆12Feb 26, 2026Updated last week
- A Gulp plugin for CSS Validation☆10Jun 11, 2024Updated last year
- ☆13Mar 8, 2023Updated 2 years ago
- one on one Ocaml TCP chat app written with Riot + Mint tea☆10Apr 1, 2024Updated last year
- ☆12Sep 30, 2017Updated 8 years ago
- RSocket PHP implementation using ReactPHP☆11Jan 30, 2022Updated 4 years ago
- Ship C library with Zig-based NIF for Elixir☆15Oct 26, 2025Updated 4 months ago
- Example of using path alias in Elysia monorepo☆12Jul 18, 2024Updated last year
- ☆10Mar 9, 2023Updated 2 years ago
- ☆12Jul 15, 2024Updated last year
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- An audio server, programming language, and IDE for sound synthesis and algorithmic composition.☆14Feb 2, 2017Updated 9 years ago
- Functional, tagless and lens-based, global state management. With scalajs-react fs2.Stream integrations.☆12Feb 5, 2026Updated 3 weeks ago
- Bonjour / Zeroconf in Erlang☆19Apr 29, 2010Updated 15 years ago
- An implementation of IPNS for Helia☆13Jan 8, 2024Updated 2 years ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Feb 15, 2026Updated 2 weeks ago
- Examples of Modern CSS☆11Nov 2, 2024Updated last year
- Universal and extensible data structure library for interacting with Erlang maps, proplists, dicts, etc..☆11Dec 17, 2025Updated 2 months ago
- ☆16Feb 14, 2026Updated 2 weeks ago
- ☆13May 3, 2022Updated 3 years ago