Mysaa

0 Followers · 0 Following

• https://bernard.com.de

• Wishes the world was self-compatible

• Joined on 2024-01-09

Repositories

44

Projects Packages Public Activity Starred Repositories

Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

mpri-2.4-project-2023-2024

OCaml 0 0

Updated 2024-03-15 02:35:38 +01:00

ProofOfProgramsProject

OCaml 0 0

Updated 2024-01-29 17:32:30 +01:00

pro-fondement

OCaml 0 0

Updated 2024-01-12 16:48:54 +01:00

pieuvre

OCaml 0 0

The Pieuvre® Proof Assistant

Updated 2024-01-12 16:43:47 +01:00

TIPE2021

OCaml 0 0

TIPE 2021 sur les codes correcteurs d'erreur, contenant du code permettant de trouver les meilleurs codes, et le tester en tant qu'algorithme de compression

Updated 2024-01-09 15:50:03 +01:00

INFO-MPx-2021

OCaml 0 0

Code source des projets menés en INFO pendant la MP* à Blaise Pascal

Updated 2024-01-09 15:42:06 +01:00