Haute École d'Informatique de Madagascar's repositories
hei-admin-api
RESTful API for managing a school
hei-admin-ui
A frontend to https://github.com/hei-school/hei-admin-api
Language:Java000
Language:Java000
marina
Yet another SAT solver in Ocaml
Language:OCamlMIT000
Language:JavaScript000
Language:Python000
hei-school.github.io
Source code of the eponym website
Language:HTML000