Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by FedericoBruzzone
A curated list of projects in awesome lists by FedericoBruzzone .
https://github.com/federicobruzzone/software-foundations
Solutions (in Coq) of the exercises in the software foundation books.
coq coq-library functional-programming ocaml software-foundations
Last synced: 27 Sep 2024
https://github.com/federicobruzzone/99-erlang-problems
Implementations of the 99 problems in Erlang.
99problems erlang functional-programming problem-solving
Last synced: 27 Sep 2024