Andreas Källberg's repositories
webcomic_reader
Webcomic Reader userscript at
musehub-html
A web-interface to download the files that would otherwise require MuseHub
agda-unimath
Univalent mathematics in Agda
gf-ud
Functions to analyse and manipulate dependency trees, as well as conversions between GF and dependency trees. The main use case is UD (Universal Dependencies), but the code is designed to be completely generic as for annotation scheme. This repository replaces the old gf-contrib/ud2gf code. It is also meant to be used in the 'vd' command of GF and replace the supporting code in gf-core in the future.
haskell-gtd-nl
Haskell 'go to (non-local) definitions' extension
HoTTEST-Summer-School
HoTTEST Summer School materials
hydra-check
check hydra for the build status of a package [maintainer=@makefu]
NativeYoutube
Personal App that turned into "alpha released app" v2
nixpkgs
Nix Packages collection
vscode-unison
Official Unison extension for Visual Studio Code