GaliMouette

Pinned Repositories

• app-elfloader

  Load and execute Linux ELF binaries

  00

• CAP

  Student git for 2023-24 (CAP, ENS de Lyon, France)

  Language:Python00

• CSTL

  I was bored and tried to create templated vectors in c

  Language:C2100

• GaliMouette.github.io

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:JavaScript00

• HL-Systems

  Language:Haskell00

• ltac2_experiments

  Language:Coq00

• Makefile

  Simple makefile for C projects

  Language:Makefile20

• MinITP

  Experiments with my own (very small) proof assistant

  Language:OCaml00

• PE_Project

  Language:Python00

• Rapport

  Language:TeX01

GaliMouette's Repositories