A LaTeX style for producing author self-archiving copies of (academic) papers.
Updated 2023-08-27 14:18:53 +00:00
A Python crawler for extensions from the Chrome Web Store.
Updated 2023-08-28 19:57:58 +00:00
Render Github issues as iCalendar feed
Updated 2023-08-30 08:55:27 +00:00
Updated 2023-09-18 19:19:42 +00:00
Damn Vulnerable Grade Management System - An Intentionally Vulnerable Ruby on Rails App
Updated 2023-10-12 21:15:21 +00:00
This is a graphical user interface for OFMC
Updated 2023-10-22 14:55:26 +00:00
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated 2023-12-21 11:29:25 +00:00
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated 2024-04-26 06:01:09 +00:00