A search engine for confession hours by scraping parish websites.
Contributions:1 review, 22 PRs, 941 pushes in 1 year 11 months
search-engine
A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
Contributions:53 reviews, 416 commits, 112 PRs in 6 months
backendocamlsequent-calculus