Pinned Repositories
chrome-moveTab
A chrome extension for moving tabs between windows with the keyboard
chrome-shorte.st-skipper
Chrome extension to skip the ads on shorte.st shortener
debundle
:card_file_box: A javascript debundler. Takes a Browserify or Webpack bundle and recreates the initial, pre-bundled source.
erlydb
Extracted ErlyDB from ErlyWeb - branch for erlsql
fuckeveryword
forked from everywordbot, modified for use on google appspot, tweets fuck everyword every half hour
gf-lsp
A Language Server for Grammatical framework, providing errors and warnings and go-to-definition
js-deobfuscator
Minitroopers-bot
Plays the game minitroopers automatically.
webcomic_reader
Webcomic Reader userscript at
anka-213's Repositories
anka-213/webcomic_reader
Webcomic Reader userscript at
anka-213/gf-lsp
A Language Server for Grammatical framework, providing errors and warnings and go-to-definition
anka-213/haskell-wordnet
anka-213/musehub-html
A web-interface to download the files that would otherwise require MuseHub
anka-213/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
anka-213/agda-unimath
Univalent mathematics in Agda
anka-213/cclaw-nix-stuff
anka-213/dotfiles
My nix config files and stuff
anka-213/dsl
Domain Specific Languages for Computational Law
anka-213/five-five-letter-words-haskell
anka-213/gf-core
Grammatical Framework core: compiler, shell & runtimes
anka-213/gf-rgl
Grammatical Framework's Resource Grammar Library (RGL)
anka-213/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.
anka-213/gf-ud-exjobb
anka-213/gf-vscode
A VS Code extension for Grammatical Framework
anka-213/haskell-gtd-nl
Haskell 'go to (non-local) definitions' extension
anka-213/haskell_toy_experiments
Random tiny toy projects
anka-213/HoTTEST-Summer-School
HoTTEST Summer School materials
anka-213/ImHex
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
anka-213/kubo
An IPFS implementation in Go
anka-213/LTL-Agda
Implementation based off Huth & Ryan's LOGIC IN COMPUTER SCIENCE
anka-213/NativeYoutube
Personal App that turned into "alpha released app" v2
anka-213/nbe-edsl
Normalization by Evaluation for Embedded Domain-specific Languages
anka-213/nix-du
Visualise which gc-roots to delete to free some space in your nix store
anka-213/nixpkgs
Nix Packages collection
anka-213/nushell
A new type of shell
anka-213/udpipe
UDPipe: Trainable pipeline for tokenizing, tagging, lemmatizing and parsing Universal Treebanks and other CoNLL-U files
anka-213/udpipe-hs
Basic haskell bindings for udpipe
anka-213/vscode-unison
Official Unison extension for Visual Studio Code
anka-213/wakaru
🔪📦 Javascript decompiler for modern frontend