Pinned Repositories
covfefe-firefox
A small firefox addons that improve your texts with covfefe
esp8266-arduino-port
Trying to unravel the arduino magic with the esp8266
hello-android
Compiling Java, Kotlin and perhaps OCaml to Android
ILP-UPMC
linux-shimeji
Shimeji for Linux.
moodle-local-resourcenotif
This Moodle plugin allows a teacher to notify course students by mail when a new resource is created or modified. This is the version modified to run on Boost theme
nrf51-sdk
Snapshot of the Nordic nrf51 sdk
ocamltokotlin
Compiling OCaml to Kotlin (to eventually make some android apps)
ProcessingML
An OCaml implementation of the Processing library
repo-counter
A web app using github's graphql API to count repo created during a given period of time. May be used in a future github workshop
Vertmo's Repositories
Vertmo/ocamltokotlin
Compiling OCaml to Kotlin (to eventually make some android apps)
Vertmo/OMicroB
An Ocaml generic virtual machine for microcontrollers
Vertmo/ACM-ICPC-Algorithms
Algorithms used in Competitive Programming
Vertmo/APS
Le langage développé en cours d'APS à Sorbonne Université
Vertmo/Carp
A statically typed lisp, without a GC, for real-time applications.
Vertmo/CompCert
The CompCert formally-verified C compiler
Vertmo/coq2html
An HTML documentation generator for Coq source files
Vertmo/crazyflie-lib-python
Python library to communicate with Crazyflie
Vertmo/ds-color-wheel
A DS app about colors
Vertmo/ds-falling-sand
A DS app about falling sand
Vertmo/gitignore
A collection of useful .gitignore templates
Vertmo/hello-menhir
Example app for menhir + reason + esy + dune
Vertmo/LaTeX-Game-Engine
A game engine utilising the best medium: .pdf
Vertmo/MiniLucy
The MiniLucy compiler, realized for the Synchronous Systems module at MPRI
Vertmo/mm
Decompilation of The Legend of Zelda: Majora's Mask
Vertmo/MPRI-2.4-DTP
MPRI-2.4 Dependently-typed Functional Programming
Vertmo/Nand2Tetris
The project from the "Nand2Tetris" book (https://www.nand2tetris.org/)
Vertmo/OCaLustre
OCaml syntax extension for synchronous programming...
Vertmo/ocamljava
Vertmo/ollvm
An higher-level LLVM binding for OCaml
Vertmo/orgcss
Simple and clean CSS for Org-exported HTML
Vertmo/ott
The Ott tool for writing definitions of programming languages and calculi
Vertmo/PG
This repo is the new home of Proof General
Vertmo/smpl
A Coq plugin providing an extensible tactic similar to first.
Vertmo/stage2019-rapport
Mon rapport pour le stage 2019 à Nomadic Labs
Vertmo/tokei
Count your code, quickly.
Vertmo/tp-ghidra-server
Ghidra server for the Twilight Princess Speedrun & Decomp communities
Vertmo/try-minilucy
A web editor for MiniLucy
Vertmo/vglang
A language to write video games
Vertmo/YANBF
Yet another nds-bootstrap forwarder. Runs from 3DS-mode!