MartyO256
Full-Stack Software Developer | MSc in Computer Science | Committed to Building Reliable and Performant Software
Québec
Pinned Repositories
Beluga
Contextual types meet mechanized metatheory!
Beluga
Contextual types meet mechanized metatheory!
beluga-site
Modernized site for the Beluga programming language using SvelteKit.
DefinitelyTyped
The repository for high quality TypeScript type definitions.
find-files-by-patterns
Find files by patterns in directories, upwards or downwards from other paths.
learn-ocaml
A Web Application for Learning OCaml
martyo256.github.io
Personal website featuring my Résumé and some course notes
mechanizing-standard-ml
Mechanizing the metatheory of Standard ML in Beluga using Harpoon
msc-thesis
Parsing, Lexical Scoping and Incremental Development for a Dependently-Typed Programming Language
variable-name-generation-tutorial
A tutorial on how to implement sound variable name generation for expressions having both named and nameless variables.
MartyO256's Repositories
MartyO256/find-files-by-patterns
Find files by patterns in directories, upwards or downwards from other paths.
MartyO256/variable-name-generation-tutorial
A tutorial on how to implement sound variable name generation for expressions having both named and nameless variables.
MartyO256/Beluga
Contextual types meet mechanized metatheory!
MartyO256/beluga-site
Modernized site for the Beluga programming language using SvelteKit.
MartyO256/DefinitelyTyped
The repository for high quality TypeScript type definitions.
MartyO256/learn-ocaml
A Web Application for Learning OCaml
MartyO256/martyo256.github.io
Personal website featuring my Résumé and some course notes
MartyO256/McGill-Tech-Games-2021-Backend-Challenge
Backend challenge as part of the McGill Tech Games 2021
MartyO256/mechanizing-standard-ml
Mechanizing the metatheory of Standard ML in Beluga using Harpoon
MartyO256/metalsmith-mathjax
Prerender LaTeX, MathML, and AsciiMath notation in Metalsmith using MathJax
MartyO256/msc-thesis
Parsing, Lexical Scoping and Incremental Development for a Dependently-Typed Programming Language
MartyO256/opam-repository
Main public package repository for opam, the source package manager of OCaml.
MartyO256/py-formatted-value
Simple Python package to format values and their uncertainties up to a given amount of significant figures in the uncertainty.
MartyO256/remark-math
remark and rehype plugins to support math
MartyO256/SoftwareDesignCode
Code samples of for the Software Design textbook