Explore projects

loutr / Proost
Other

A simple proof assistant written in Rust

9

Updated May 17, 2024

9 1 18 33

Updated May 17, 2024
E

pigeonmoelleux / Effovex
GNU General Public License v3.0 only

1

Updated Dec 15, 2022

1 0 0 0

Updated Dec 15, 2022
S

pigeonmoelleux / SkavOS

Minimal operating system

1

Updated May 28, 2023

1 0 1 3

Updated May 28, 2023
L

aeltheos / libvirt-rust-xml

0

Updated Apr 04, 2024

0 0 0 0

Updated Apr 04, 2024
M

aplanos / minilucy

0

Updated Nov 05, 2024

0 0 0 0

Updated Nov 05, 2024
B

artem / Borrow Checker - Projet programmation avancée
MIT License

0

Updated Jun 05, 2025

0 0 0 0

Updated Jun 05, 2025
P

bapdiedler / projet_bdd

0

Updated May 01, 2025

0 0 0 0

Updated May 01, 2025
B

bapdiedler / Borrow Checker - Programmation Avancée
MIT License

0

Updated Jun 06, 2025

0 0 0 0

Updated Jun 06, 2025
P

aurelien / projet_prog2_blancal-simon_aurelien
MIT License

0

Updated Jun 06, 2025

0 0 0 0

Updated Jun 06, 2025
P

adam-c / Projet de programmation avancée 2025
MIT License

0

Updated Jun 06, 2025

0 0 0 0

Updated Jun 06, 2025
jeanas / Proost
GNU General Public License v3.0 or later

My fork of Proost.

0

Updated Jan 05, 2023

0 0 0 0

Updated Jan 05, 2023
P

PyJaC++ / PROG2-DM
MIT License

0

Updated Jun 06, 2025

0 0 0 0

Updated Jun 06, 2025
R

Maxime Bombar / rust

My toy tests with the RUST programming language.

0

Updated Jun 15, 2021

0 0 0 0

Updated Jun 15, 2021
R

Maxime Bombar / rust-irc-bot

IRC bot to learn Rust programming language

0

Updated Aug 17, 2021

0 0 0 0

Updated Aug 17, 2021