Mava

0 Followers · 0 Following

• Joined on 2024-11-08

Repositories

2

Projects Public Activity Starred Repositories

Mava created branch main in Mava/Inductive_Calculus 2024-11-08 12:58:42 +01:00

Mava pushed to main at Mava/Inductive_Calculus 2024-11-08 12:58:42 +01:00

709308d515 First steps into Type Systems

Mava created repository Mava/Inductive_Calculus 2024-11-08 12:58:19 +01:00

Mava created branch main in Mava/Wayland-OCaml 2024-11-08 12:56:36 +01:00

Mava pushed to main at Mava/Wayland-OCaml 2024-11-08 12:56:36 +01:00

1003c8dbc7 First steps for Wayland Protocol

Mava created repository Mava/Wayland-OCaml 2024-11-08 12:53:15 +01:00