Repositories
16
 Projects Packages Public activity Starred repositories
1
Filter
Sort
rocoma
Coq 0 0
Updated 2026-02-26 16:22:13 +01:00
paulpatault/pages
pages
HTML 0 1
My personal webpage
webpage
Updated 2026-02-03 15:41:01 +01:00
coma
CSS 0 1
Documentation of the Coma IVL
Updated 2026-01-08 14:29:30 +01:00
paulpatault/dotfiles
dotfiles
Lua 0 0
Configuration for my desktop system
dotfiles
Updated 2025-02-04 22:46:53 +01:00
bench_creusot_coma
Shell 0 0
Updated 2025-01-21 18:37:01 +01: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 11:54:32 +02:00
paulpatault/propositional-prover
propositional-prover
OCaml 0 0
Project of INF551
Updated 2024-08-10 11:54:20 +02:00
paulpatault/aoc
aoc
OCaml 0 0
Updated 2024-08-10 11:50:52 +02:00
paulpatault/auto-demo
auto-demo
OCaml 0 0
AutoDemo >> Coq >> Lean
demonstration-tool logic
Updated 2024-08-10 11:26:17 +02:00
paulpatault/minipat
minipat
OCaml 0 0
Random pattern-matching problems generator
Updated 2024-08-10 11:21:52 +02:00
paulpatault/mini-c-interpreter
mini-c-interpreter
OCaml 0 0
Updated 2024-08-10 11:04:03 +02: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 10:51:19 +02:00
paulpatault/compit
compit
Lua 0 0
Makes compiling and running your code from inside NeoVim enjoyable.
Updated 2024-08-10 10:29:44 +02:00
paulpatault/convex-hull
convex-hull
TeX 0 0
Why3 project for MPRI-2.36 course
Updated 2024-08-10 10:22:50 +02:00
paulpatault/ANSI-C
ANSI-C
C 0 0
Some exercises from “The C Language — ANSI standard”
Updated 2024-08-10 10:21:05 +02:00