Concuerror is a stateless model checking tool for Erlang programs.
-
Updated
Dec 20, 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.
This repository serves as a container for various Erlang examples.
Simulation of Gossip protocol in distributed systems
My attempt at modelling the dining philosophers concurrent programming problem in erlang
A highly scalable multithreaded instant messaging application
A model of a basic social media server in erlang
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
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.
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."