Concuerror is a stateless model checking tool for Erlang programs.
-
Updated
Jul 2, 2024 - Erlang
Concuerror is a stateless model checking tool for Erlang programs.
[
Tercera práctica (Concurrencia) de la asignatura de Concurrencia y Paralelismo UDC 23/24
Simulation of Gossip protocol in distributed systems
A Causal-Consistent Reversible Debugger for Erlang
[2023 unimi] Erlang notes and material for "Linguaggi di programmazione" course at unimi.
Project on Bank & customer transactions processing | COMP6411
A Causal-Consistent Debugger for (Core) Erlang
A highly scalable multithreaded instant messaging application
Three small programs were written in Erlang while learning this functional programming language
Concurrent and Distributed 2048 Simulation System
This repository serves as a container for various Erlang examples.
📄 Programming course assignments and projects
Homework and in-class exercises for CS 511: Concurrent Programming, Fall 2018
Chat server written as part of learning Erlang and it's concurrent programming benefits.
Tic tac toe game developed as part of learning Erlang and concurrent programming.
Ant colony optimization (ACO) with Erlang processes (ants) and message communication (ant master)
Aim - To Learn Erlang and Implement Distributed Matrix Multiplication (with fault tolerance)
A client - server program developed in Erlang in which the server is sent the request to perform the task from the client based on the input(Concurrent Programming).
A model of a basic social media server in erlang
Add a description, image, and links to the concurrent-programming topic page so that developers can more easily learn about it.
To associate your repository with the concurrent-programming topic, visit your repo's landing page and select "manage topics."