paulpatault Goto Github PK

algorithmic

Simple implementation of many algorithms

aoc

auto-demo

AutoDemo >> Coq >> Lean

bazaar

byo-ppl-22-23

capillotractage

chessapp

ElectronJS GUI that recognize a chess position from a screenshot and return the best move

compit

Makes compiling and running your code from inside NeoVim enjoyable.

convex-hull

Why3 project for MPRI-2.36 course

dotfiles

Arch linux dotfiles (you may find my current config on https://codeberg.org/paulpatault/dotfiles)

dotfiles-macos

Configuration

electronapp

Desktop todo list build with ElectonJS

gapchart

OpenGL project written in C++

gospel

A tool-agnostic formal specification language for OCaml.

kawa-compiler

Compilateur optimisant pour Kawa vers l'assembleur MIPS. Projet de M1-MPRI et 2A-Magistère.

mini-c-interpreter

Vérificateur de type et interprète pour un fragment du langage C. Projet de L3-Magistère Informatique.

minilucy

Lustre compiler : synchronous programming project

minipat

Générateur aléatoire de problème de filtrage

mutilated-chessboard

Projet du cours de Coq du master LMFI

ocaml-boids

Implémentation de l'algorithme boids & interface graphique avec js_of_ocaml

ocamlgraph

OCaml graph library

ocamlog

Lightweight logger for OCaml

opam-repository

Main public package repository for opam, the source package manager of OCaml.

ortac

Runtime assertion checking based on Gospel specifications

pathfinding-visualization

Pygame GUI visualization of the A* path finding algorithm

paulpatault.github.io

Personnal webpage [delocated on codeberg]

propositional-prover

Project of INF551

sfml_games

Quelques jeux en C++ avec la librairie SFML

sorting-visualization

Pygame GUI visualization of some sort algorithms

sudoku-solver

Algorithmic resolution of a randomly generated sudoku