GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → alcestes → effpi

alcestes / effpi

Licence: MIT license
Verified message-passing programs in Dotty

Programming Languages

scala
5932 projects
python
139335 projects - #7 most used programming language
shell
77523 projects

Labels

actorsprocessesmodel-checkingdotty

Projects that are alternatives of or similar to effpi

intent
Test framework for Dotty
Stars: ✭ 14 (-66.67%)
Mutual labels:  dotty
tlaplus specs
Different TLA+ specifications, mostly for learning purposes
Stars: ✭ 25 (-40.48%)
Mutual labels:  model-checking
async-container
Scalable multi-thread multi-process containers for Ruby.
Stars: ✭ 58 (+38.1%)
Mutual labels:  processes
meio
Rust actors alternative to Erlang/OTP
Stars: ✭ 152 (+261.9%)
Mutual labels:  actors
Akka.Persistence.MongoDB
MongoDB support for Akka.Persistence
Stars: ✭ 30 (-28.57%)
Mutual labels:  actors
emacs-bpr
No description or website provided.
Stars: ✭ 58 (+38.1%)
Mutual labels:  processes
wasmcloud-otp
wasmCloud host runtime that leverages Elixir/OTP and Rust to provide simple, secure, distributed application development using the actor model
Stars: ✭ 197 (+369.05%)
Mutual labels:  actors
Inkuire
Hoogle-like searches for Scala 3 and Kotlin
Stars: ✭ 70 (+66.67%)
Mutual labels:  dotty
klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (-57.14%)
Mutual labels:  model-checking
protoactor-python
Proto Actor - Ultra fast distributed actors
Stars: ✭ 78 (+85.71%)
Mutual labels:  actors
Actors.jl
Concurrent computing in Julia based on the Actor Model
Stars: ✭ 95 (+126.19%)
Mutual labels:  actors
endless
Scala library to describe sharded and event sourced entities using tagless-final algebras
Stars: ✭ 70 (+66.67%)
Mutual labels:  actors
SOMns
SOMns: A Newspeak for Concurrency Research
Stars: ✭ 62 (+47.62%)
Mutual labels:  actors
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Stars: ✭ 34 (-19.05%)
Mutual labels:  model-checking
akka-contextual-actor
A really small library (just a few classes) which lets you trace your actors messages transparently propagating a common context together with your messages and adding the specified values to the MDC of the underlying logging framework.
Stars: ✭ 17 (-59.52%)
Mutual labels:  actors
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
Stars: ✭ 34 (-19.05%)
Mutual labels:  model-checking
scala-3-crash-course
Scala 3 workshop presenting the top new features of the language.
Stars: ✭ 34 (-19.05%)
Mutual labels:  dotty
SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
Stars: ✭ 31 (-26.19%)
Mutual labels:  model-checking
memalloy
Memory consistency modelling using Alloy
Stars: ✭ 23 (-45.24%)
Mutual labels:  model-checking
xsystem
Building Blocks for XState-based Actor Systems.
Stars: ✭ 40 (-4.76%)
Mutual labels:  actors
View All Similar Projects ➔

Effpi: verified message-passing programs in Dotty

Effpi is an experimental toolkit for strongly-typed concurrent and distributed programming in Dotty (a.k.a. the future Scala 3 programming language), with verification capabilities based on type-level model checking.

The home page of Effpi is: https://alcestes.github.io/effpi

Note: to compile Effpi, JDK 11 is recommended.

Authors

Effpi is developed by:

  • Alceste Scalas — DTU Compute, Technical University of Denmark (alcsc (at) dtu (dot) dk)
  • Elias Benussi — Faculty Science Ltd. (elias (at) faculty (dot) ai)

The theory behind Effpi is developed in collaboration with:

  • Nobuko Yoshida — Imperial College London, UK (n.yoshida (at) imperial (dot) ac (dot) uk)
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].