Verification Framework for Actor Systems on Coq
☆30Jul 2, 2018Updated 8 years ago
Alternatives and similar repositories for actario
Users that are interested in actario are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Aug 27, 2019Updated 7 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆19Apr 29, 2026Updated 6 months ago
- ☆10Apr 5, 2015Updated 11 years ago
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated 2 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.
- mizumochi is a tool to simulate unstable disk I/O for testing stability/robustness of system.☆37Oct 28, 2020Updated 6 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 3 years ago
- Docker images for SATySFi and Satyrographos☆26Jun 23, 2026Updated 4 months ago
- Supervised Session Actors☆22Jul 6, 2016Updated 10 years ago
- PostgreSQL migrations for Erlang☆19Jan 20, 2023Updated 3 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- A re-impementation of some com.google.protobuf classes in Scala☆13Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 5 years ago
- ☆54Aug 5, 2013Updated 13 years ago
- Erlang Backend for Idris Compiler☆186Jul 1, 2017Updated 9 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 3 years ago
- Lazy iterables in erlang☆12Sep 22, 2016Updated 10 years ago
- CLI for unassert: encourage reliable programming by writing assertions in production code, and compiling them away from release☆12Jan 9, 2023Updated 3 years ago
- An OpenType font format encoder & decoder written in OCaml☆22Apr 12, 2026Updated 6 months ago
- Formalism and proofs for esverify☆20May 26, 2018Updated 8 years ago
- ☆35Dec 29, 2015Updated 10 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.
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆35May 14, 2017Updated 9 years ago
- Erlang source code parser written in Rust☆11Aug 26, 2026Updated 2 months ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- An ML-like statically-typed Erlang☆163Oct 6, 2023Updated 3 years ago
- Erlang flavored by Some ML☆36Jan 14, 2012Updated 14 years ago
- Monadic effects and equational reasoning in Rocq☆77Sep 23, 2026Updated last month
- A Local Name Registration Facility for Erlang☆12Mar 24, 2022Updated 4 years ago
- Purely functional objects☆73Oct 27, 2021Updated 5 years ago
- OCaml bindings to libssh☆14Jan 3, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Arrow based stream transducer☆20Jun 21, 2020Updated 6 years ago
- SATySFiを学ぶためのドキュメント（作成中）☆20May 22, 2021Updated 5 years ago
- Propositional logic tools, inspired by the Coq standard library.☆10Dec 19, 2017Updated 8 years ago
- ☆42Nov 2, 2018Updated 8 years ago
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 7 years ago
- Erlang implementation of multihash☆14Sep 14, 2021Updated 5 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago