Pinned Repositories
atom-language-xquery
XQuery language support in Atom
basex-docu
XQuery Scripts to convert a MediaWiki to DocBook and PDF. Used to generate @BaseXdb documentation
basex-img-xq
Image-Modul in XQuery for the Basex-Framework
blog-example
booklet-from-pdf
Booklet from PDF
cakeml
CakeML: A Verified Implementation of ML
css_process_diagram
Pure CSS & HTML Diagrams.
DesktopSearch
An XQuery web application to browse directory structures in a cool fashion. To be used with @BaseXdb
xqueryvim
Vim XQuery indent/omnicomplete/ftplugin
arolle's Repositories
arolle/css_process_diagram
Pure CSS & HTML Diagrams.
arolle/basex-docu
XQuery Scripts to convert a MediaWiki to DocBook and PDF. Used to generate @BaseXdb documentation
arolle/basex-img-xq
Image-Modul in XQuery for the Basex-Framework
arolle/atom-language-xquery
XQuery language support in Atom
arolle/cakeml-translator-ci
arolle/DesktopSearch
An XQuery web application to browse directory structures in a cool fashion. To be used with @BaseXdb
arolle/xqueryvim
Vim XQuery indent/omnicomplete/ftplugin
arolle/blog-example
arolle/booklet-from-pdf
Booklet from PDF
arolle/cakeml
CakeML: A Verified Implementation of ML
arolle/civictech.se
The civic tech community in Sweden.
arolle/candle
The Candle theorem prover (fork of the HOL Light sources)
arolle/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
arolle/hol-guidebook
HOL Guidebook
arolle/hol-webpages
Webpages for the HOL4 website (currently at hol-theorem-prover.org)
arolle/lf
Terminal file manager
arolle/rust-c-cakeml
arolle/trustfull-demonstrator
Code for the demonstrator of the Trustfull project based on the e-voting system verificatum
arolle/vowel-less.js
A bookmarklet to remove all vowels from a website. linguistic experiment.