Vertmo/CoqTegories
A Coq mechanization of "Basic Category Theory for Computer Scientists" by Benjamin C. Pierce
Associate Professor at Ecole Nationale de l'Aviation Civile (France). Interested in formal methods, reactive languages and interactive theorem provers.
Repositories
Vertmo/jsgameboy
JS GameBoy Emulator
Vertmo/Algorithms_Example
List of Algorithms
Vertmo/minicooper
A Coq tactic for quantifier elimination in linear arithmetic
Vertmo/presburger
Presburger's algorithm
Vertmo/ollvm
An higher-level LLVM binding for OCaml
Vertmo/OMicroB
An Ocaml generic virtual machine for microcontrollers
Vertmo/ds-color-wheel
A DS app about colors
Vertmo/ds-falling-sand
A DS app about falling sand
Vertmo/vglang
A language to write video games
Vertmo/LaTeX-Game-Engine
A game engine utilising the best medium: .pdf
Vertmo/mm
Decompilation of The Legend of Zelda: Majora's Mask
Vertmo/ProcessingML
An OCaml implementation of the Processing library
Vertmo/ocamltokotlin
Compiling OCaml to Kotlin (to eventually make some android apps)
Vertmo/crazyflie-lib-python
Python library to communicate with Crazyflie
Vertmo/nrf51-sdk
Snapshot of the Nordic nrf51 sdk
Vertmo/tokei
Count your code, quickly.
Vertmo/tp-ghidra-server
Ghidra server for the Twilight Princess Speedrun & Decomp communities
Vertmo/smpl
A Coq plugin providing an extensible tactic similar to first.
Vertmo/CompCert
The CompCert formally-verified C compiler
Vertmo/OCaLustre
OCaml syntax extension for synchronous programming...
Vertmo/YANBF
Yet another nds-bootstrap forwarder. Runs from 3DS-mode!
Vertmo/linux-shimeji
Shimeji for Linux.
Vertmo/MiniLucy
The MiniLucy compiler, realized for the Synchronous Systems module at MPRI
Vertmo/PG
This repo is the new home of Proof General
Vertmo/ott
The Ott tool for writing definitions of programming languages and calculi
Vertmo/coq2html
An HTML documentation generator for Coq source files
Vertmo/try-minilucy
A web editor for MiniLucy
Vertmo/orgcss
Simple and clean CSS for Org-exported HTML
Vertmo/Carp
A statically typed lisp, without a GC, for real-time applications.