Concuerror is a stateless model checking tool for Erlang programs.
-
Updated
Aug 23, 2024 - Erlang
Concuerror is a stateless model checking tool for Erlang programs.
A Causal-Consistent Debugger for (Core) Erlang
A Causal-Consistent Reversible Debugger for Erlang
Exercises that go along with the book Programming Erlang Software for a Concurrent World - Second Edition
Ant colony optimization (ACO) with Erlang processes (ants) and message communication (ant master)
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).
Tercera práctica (Concurrencia) de la asignatura de Concurrencia y Paralelismo UDC 23/24
Concurrent and Distributed 2048 Simulation System
Aim - To Learn Erlang and Implement Distributed Matrix Multiplication (with fault tolerance)
[2023 unimi] Erlang notes and material for "Linguaggi di programmazione" course at unimi.
My attempt at modelling the dining philosophers concurrent programming problem in erlang
📄 Programming course assignments and projects
Simulation of Gossip protocol in distributed systems
This repository serves as a container for various Erlang examples.
A highly scalable multithreaded instant messaging application
Tic tac toe game developed as part of learning Erlang and concurrent programming.
Three small programs were written in Erlang while learning this functional programming language
A model of a basic social media server in erlang
Homework and in-class exercises for CS 511: Concurrent Programming, Fall 2018
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."