Discover @bartlombardi Open Source projects

Bartolomeo Lombardi (@bartlombardi)

bartlombardi

Stars
5
Global Rank 1,435,387 (Top 50 %)
Followers 12
Following 42
Registered almost 10 years ago
Most used languages

Java
25.0 %

TeX
25.0 %

JavaScript
25.0 %

C
25.0 %
Location 🇮🇹 Italy
Country Total Rank 9,881
Country Ranking

TeX
385

C
1,494

Java
2,491

JavaScript
2,939

il-deserto-dei-barbari-game

A meta-JavaScript adventure game

selling-cycles-SOA-and-BPMN-camunda

Jolie SOA which supports the activities of a bicycle selling company + BPMN with Camunda.

consistency-replication-sm1516

Seminary on consistency and replication

balanced-parentheses-frama-c

Frama-C code which proves the total correctness of a program which verifies if parentheses are balanced.