Pinned Repositories
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
asciidoctor
:gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
HOL
This repository is used and updated _exclusively_ for pull requests for upstream integration. My uncompleted changes are not published here.
tracesmap.com
An openstreetmap map
marioxcc's Repositories
marioxcc/asciidoctor
:gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
marioxcc/HOL
This repository is used and updated _exclusively_ for pull requests for upstream integration. My uncompleted changes are not published here.