hrjakobsen

@overleafEngland

Pinned Repositories

3D-bombman-client
Language:C00
3D-bombman-map
Language:C++00
B2-18-init
Language:TeX20
datalog-syntax
Sublime Text 3 syntax definitions for DLV datalog
10
fklub.dk
Implementation of fklub.dk written in the LAML Scheme web-framework
Language:Scheme4 2 22
SlackBot
Slack bot in C#
Language:C#31
slext
Unofficial browser extension for extending the online LaTeX editor Overleaf
Language:TypeScript34 4 627
tombstone
Tombstone diagram drawing package for LaTeX.
Language:TeX53
Tropicode
Language:Java10

hrjakobsen's Repositories

hrjakobsen/slext
Unofficial browser extension for extending the online LaTeX editor Overleaf
Language:TypeScript34 4 627
hrjakobsen/tombstone
Tombstone diagram drawing package for LaTeX.
Language:TeX53
hrjakobsen/fklub.dk
Implementation of fklub.dk written in the LAML Scheme web-framework
Language:Scheme4 2 22
hrjakobsen/SlackBot
Slack bot in C#
Language:C#31
hrjakobsen/B2-18-init
Language:TeX20
hrjakobsen/datalog-syntax
Sublime Text 3 syntax definitions for DLV datalog
10
hrjakobsen/Tropicode
Language:Java10
hrjakobsen/P2-AAU
Language:C#00
hrjakobsen/bachelorproject
Bachelor project on AAU Computer Science about session types
Language:Haskell
hrjakobsen/BetterBash
Aalborg University 4th semester computer science project
Language:Java1
hrjakobsen/Block-Keeper
Cross platform desktop cubing timer
hrjakobsen/codemirror-indentation-markers
A CodeMirror extension that renders indentation markers
Language:TypeScript
hrjakobsen/codemirror-vim
Vim keybindings for CM6
hrjakobsen/djLint
HTML Template Linter and Formatter. Use with Django, Jinja, Nunjucks and Handlebars templates.
hrjakobsen/dotfiles
hrjakobsen/dotfiles-1
The path to GNUrvana
hrjakobsen/Draw
hrjakobsen/epsjs
Language:TypeScript
hrjakobsen/hrjakobsen
Config files for my GitHub profile.
hrjakobsen/hrjakobsen.github.io
Code that'll help you kickstart a personal website that showcases your work as a software developer.
Language:HTML
hrjakobsen/jekyll-katex
Jekyll plugin for easy server-side math rendering via KaTeX
Language:Ruby
hrjakobsen/LifeOnABox
Language:C
hrjakobsen/mal
mal - Make a Lisp
hrjakobsen/MIProject
Language:Python
hrjakobsen/papaya-tutorial
Papaya tutorial
hrjakobsen/piste
Piste Programming Language
Language:Python
hrjakobsen/sangbog
Language:PostScript
hrjakobsen/Scala-Mungo
Fifth year six month MEng project at the University of Glasgow. Implementation of a typestate checking plugin for Scala.
hrjakobsen/serenity
The Serenity Operating System 🐞
Language:C++
hrjakobsen/stregsystemet
The very public stregsystem repo
Language:Python