Pinned Repositories
genode
Genode OS Framework
genode-world
Collection of community-maintained components for Genode
goa-projects
Personal repository for Goa packages
minunit-extended
This is an extended version of MinUnit (see JTN002).
pandoc-filters
A few extra pandoc filters for academic writing (internal table/figure references, sideways, ...)
sculpt
taskopen
Tool for taking notes and open urls with taskwarrior
tinycore-remaster
Tools for remastering TinyCore Linux images.
vo2pandoc
Script that converts vim outliner syntac into pandoc markdown
pandoc-theoremnos
A pandoc filter for numbering theorems and theorem references.
jschlatow's Repositories
jschlatow/pandoc-filters
A few extra pandoc filters for academic writing (internal table/figure references, sideways, ...)
jschlatow/foc
Fork of Genode's clone of Fiasco.OC and L4RE with Sparc/LEON3 support.
jschlatow/vo2pandoc
Script that converts vim outliner syntac into pandoc markdown
jschlatow/minunit-extended
This is an extended version of MinUnit (see JTN002).