#
Starred repositories
Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
The world’s fastest framework for building websites.
Xcode Playground featuring FormatStyles
An Implementaiton of substructrual session types in Idris
A set of benchmark to compare (multiparty) session types
This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.
Demos, examples and utilities using PyMuPDF
Database of URLs from institutions using proxy servers, like EZproxy.
A simulator for visualising the evolution of π-calculus terms
A repository of "litmus" tests showing the interaction between Erlang's built-in operations.
Craft and deploy bulletproof embedded software in Elixir
A Gentle Adventure Mechanising Message Passing Concurrency Systems
Papers from the computer science community to read and discuss.
A library for deadlock-free multiparty session-typed communication in Rust.
A runtime verification tool for Erlang systems
A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:
Curated list of awesome BEAM monitoring libraries and resources
A monitor synthesis tool for session types.
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.