franbarra's starred repositories
bondy
Bondy is an open source, always-on and scalable application networking platform connecting all elements of a distributed application—offering service and event mesh capabilities combined. Bondy implements the open Web Application Messaging Protocol (WAMP) and is written in Erlang.
Duke2Reconstructed
Reconstructed source code of the game Duke Nukem II
lichess-tv
Watch live chess from your terminal
cosmopolitan
build-once run-anywhere c library
documentation
How to use BookWyrm
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
paperless-ng
A supercharged version of paperless: scan, index and archive all your physical documents
papers-we-love
Papers from the computer science community to read and discuss.
principios_algoritmos_concurrencia
Book in Spanish: Concurrency, Principles and Algorithms
concurrencia
Source code of the examples for the book (in Spanish) Concurrency, Principles and Algorithms