Paul Patault paulpatault
3 followers · 5 following
Repositories
15
 Projects Packages Public activity Starred repositories
1
Filter
Sort
paulpatault/pages
pages
HTML 0 0
My personal webpage
webpage
Updated 2025-04-07 08:38:39 +00:00
coma
CSS 0 1
Documentation of the Coma IVL
Updated 2025-04-01 15:40:20 +00:00
paulpatault/dotfiles
dotfiles
Lua 0 0
Configuration for my desktop system
dotfiles
Updated 2025-02-04 21:46:53 +00:00
bench_creusot_coma
Shell 0 0
Updated 2025-01-21 17:37:01 +00:00
paulpatault/kawa-compiler
kawa-compiler
OCaml 0 0
Compilateur optimisant pour Kawa vers l'assembleur MIPS. Projet de M1-MPRI et 2A-Magistère.
compiler ocaml
Updated 2024-08-10 09:54:32 +00:00
paulpatault/propositional-prover
propositional-prover
OCaml 0 0
Project of INF551
Updated 2024-08-10 09:54:20 +00:00
paulpatault/aoc
aoc
OCaml 0 0
Updated 2024-08-10 09:50:52 +00:00
paulpatault/auto-demo
auto-demo
OCaml 0 0
AutoDemo >> Coq >> Lean
demonstration-tool logic
Updated 2024-08-10 09:26:17 +00:00
paulpatault/minipat
minipat
OCaml 0 0
Random pattern-matching problems generator
Updated 2024-08-10 09:21:52 +00:00
paulpatault/mini-c-interpreter
mini-c-interpreter
OCaml 0 0
Updated 2024-08-10 09:04:03 +00:00
paulpatault/ocaml-boids
ocaml-boids
OCaml 0 0
Implémentation de l'algorithme boids & interface graphique avec js_of_ocaml
boids-simulation jsofocoaml
Updated 2024-08-10 08:51:19 +00:00
paulpatault/compit
compit
Lua 0 0
Makes compiling and running your code from inside NeoVim enjoyable.
Updated 2024-08-10 08:29:44 +00:00
paulpatault/convex-hull
convex-hull
TeX 0 0
Why3 project for MPRI-2.36 course
Updated 2024-08-10 08:22:50 +00:00
paulpatault/ANSI-C
ANSI-C
C 0 0
Some exercises from “The C Language — ANSI standard”
Updated 2024-08-10 08:21:05 +00:00
paulpatault/mutilated-chessboard
mutilated-chessboard
Coq 0 0
Projet du cours de Coq du master LMFI
Updated 2024-08-10 08:18:32 +00:00