MartyO256

Marc-Antoine Ouimet's repositories

Find files by patterns in directories, upwards or downwards from other paths.

Language:TypeScriptMIT4 1 1

Contextual types meet mechanized metatheory!

Language:OCamlGPL-3.0000

Modernized site for the Beluga programming language using SvelteKit.

Language:HTML000

The repository for high quality TypeScript type definitions.

Language:TypeScriptNOASSERTION000

A Web Application for Learning OCaml

Language:JavaScriptNOASSERTION000

Personal website featuring my Résumé and some course notes

Language:HTML000

Backend challenge as part of the McGill Tech Games 2021

Language:JavaScriptMIT010

Mechanizing the metatheory of Standard ML in Beluga using Harpoon

Prerender LaTeX, MathML, and AsciiMath notation in Metalsmith using MathJax

Language:JavaScriptMIT000

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

Language:ShellCC0-1.0000

Simple Python package to format values and their uncertainties up to a given amount of significant figures in the uncertainty.

Language:PythonMIT010

remark and rehype plugins to support math

Language:HTMLMIT000

Code samples of for the Software Design textbook

Language:JavaGPL-3.0000