Andreas Källberg's repositories
haskell_toy_experiments
Random tiny toy projects
wakaru
🔪📦 Javascript decompiler for modern frontend
nix-du
Visualise which gc-roots to delete to free some space in your nix store
NativeYoutube
Personal App that turned into "alpha released app" v2
nixpkgs
Nix Packages collection
ImHex
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
musehub-html
A web-interface to download the files that would otherwise require MuseHub
gf-core
Grammatical Framework core: compiler, shell & runtimes
haskell-gtd-nl
Haskell 'go to (non-local) definitions' extension
dotfiles
My nix config files and stuff
nushell
A new type of shell
gf-rgl
Grammatical Framework's Resource Grammar Library (RGL)
gf-vscode
A VS Code extension for Grammatical Framework
nbe-edsl
Normalization by Evaluation for Embedded Domain-specific Languages
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.
HoTTEST-Summer-School
HoTTEST Summer School materials
kubo
An IPFS implementation in Go
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
vscode-unison
Official Unison extension for Visual Studio Code
agda-unimath
Univalent mathematics in Agda
dsl
Domain Specific Languages for Computational Law
udpipe-hs
Basic haskell bindings for udpipe
udpipe
UDPipe: Trainable pipeline for tokenizing, tagging, lemmatizing and parsing Universal Treebanks and other CoNLL-U files
LTL-Agda
Implementation based off Huth & Ryan's LOGIC IN COMPUTER SCIENCE
webcomic_reader
Webcomic Reader userscript at