amutake/actario 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

amutake/actario

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/amutake/actario)

Close

amutake / actarioView on GitHubMore

• External links
• Readme badge

Verification Framework for Actor Systems on Coq

☆29Jul 2, 2018Updated 7 years ago

Alternatives and similar repositories for actario

Users that are interested in actario are comparing it to the libraries listed below

• yutopp / obeam

  View on GitHub
  [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.
  ☆16Aug 27, 2019Updated 6 years ago
• ksk / Rho

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 5 years ago
• cwbriones / streams

  View on GitHub
  Lazy iterables in erlang
  ☆12Sep 22, 2016Updated 9 years ago
• na4zagin3 / satyrographos-repo

  View on GitHub
  Custom OPAM repository for SATySFi libraries managed by Satyrographos
  ☆18Jan 20, 2025Updated last year
• dwango / fialyzer

  View on GitHub
  [WIP] Faster Implementation of Dialyzer
  ☆56Apr 4, 2024Updated last year
• artemeff / pgsql_migration

  View on GitHub
  PostgreSQL migrations for Erlang
  ☆19Jan 20, 2023Updated 3 years ago
• langston-barrett / coq-big-o

  View on GitHub
  A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
  ☆36May 14, 2017Updated 8 years ago
• elpinal / seqmod

  View on GitHub
  Full implementation of F-ing Modules, with the power of sequent calculus
  ☆20Mar 11, 2021Updated 4 years ago
• xgrommx / coq-ecosystem

  View on GitHub
  ☆43Nov 2, 2018Updated 7 years ago
• wenkokke / idris-sesh

  View on GitHub
  Session types in Idris2!
  ☆27Dec 14, 2020Updated 5 years ago
• amtal / CoreErlang

  View on GitHub
  AST, parser, pretty-printer for Core Erlang source code.
  ☆29Mar 20, 2021Updated 4 years ago
• frelindb / agsyHOL

  View on GitHub
  ☆22May 19, 2016Updated 9 years ago
• bobatkey / foveran

  View on GitHub
  A Dependently Typed Programming Language
  ☆26Jul 24, 2020Updated 5 years ago
• SimonJF / monitored-session-erlang

  View on GitHub
  Supervised Session Actors
  ☆22Jul 6, 2016Updated 9 years ago
• lenary / idris-erlang

  View on GitHub
  Erlang Backend for Idris Compiler
  ☆187Jul 1, 2017Updated 8 years ago
• thaterikperson / erie

  View on GitHub
  A statically-typed lisp for the BEAM
  ☆12Aug 28, 2021Updated 4 years ago
• aeternity / aebytecode

  View on GitHub
  Aeternity virtual machines byte code modules
  ☆14Apr 26, 2024Updated last year
• 5HT / a64

  View on GitHub
  A64: ARM64 Assembler for Erlang
  ☆11Sep 30, 2020Updated 5 years ago
• erpuno / mail

  View on GitHub
  💧 MAIL: Система доставки повідомлень
  ☆29Jan 27, 2026Updated last month
• rjdellecese / gleam_decode

  View on GitHub
  Transform Erlang or Elixir data into Gleam data
  ☆27Dec 5, 2022Updated 3 years ago
• mdg / leema

  View on GitHub
  A functional programming language designed for concurrency and failure
  ☆44Sep 6, 2022Updated 3 years ago
• smimram / catt

  View on GitHub
  An infinity-categorical coherence typechecker
  ☆18Nov 4, 2024Updated last year
• gstew5 / games

  View on GitHub
  ☆10Feb 25, 2020Updated 6 years ago
• kritzcreek / okasaki

  View on GitHub
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Nov 9, 2016Updated 9 years ago
• naga-framework / naga

  View on GitHub
  NAGA: Erlang Web Framework
  ☆10Sep 7, 2018Updated 7 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• schnef / hkdf

  View on GitHub
  Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)
  ☆12Dec 2, 2021Updated 4 years ago
• hengestone / scuttleberl

  View on GitHub
  An Erlang implementation of the Secure Scuttlebutt protocol
  ☆19Oct 31, 2019Updated 6 years ago
• utam0k / rjvm

  View on GitHub
  Toy JVM is written in Rust
  ☆13Jan 25, 2021Updated 5 years ago
• rustyio / BinaryVice

  View on GitHub
  BinaryVice is better than term_to_binary/1 at serializing structured Erlang data.
  ☆25Oct 12, 2009Updated 16 years ago
• grin-compiler / idris-grin

  View on GitHub
  GRIN backend for Idris
  ☆50Apr 11, 2020Updated 5 years ago
• nagaet / Garrigue-lecture-2018_AW

  View on GitHub
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Feb 27, 2019Updated 7 years ago
• EugeneN / pureGoL

  View on GitHub
  A Game of Life written in Purescript using Rx and React/canvas/console UIs.
  ☆10Dec 9, 2016Updated 9 years ago
• ahmadsalim / desc-n-crunch

  View on GitHub
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Jan 14, 2019Updated 7 years ago
• helium / erlang-multihash

  View on GitHub
  Erlang implementation of multihash
  ☆14Sep 14, 2021Updated 4 years ago
• o7 / plm

  View on GitHub
  PLM: Product Lifecycle Management
  ☆13Sep 25, 2019Updated 6 years ago
• ptol / purescript-sigment

  View on GitHub
  A simple game-engine/ui library
  ☆24Apr 6, 2017Updated 8 years ago
• aische / typelevel-examples

  View on GitHub
  Haskell Type Level Example Programs
  ☆28Nov 30, 2017Updated 8 years ago
• Thimoteus / purescript-optlicative

  View on GitHub
  applicative opt parsing for node
  ☆31Jun 14, 2021Updated 4 years ago