Andreas Källberg's repositories

webcomic_reader

Webcomic Reader userscript at

Language:JavaScriptLicense:MITStargazers:119Issues:18Issues:115

gf-lsp

A Language Server for Grammatical framework, providing errors and warnings and go-to-definition

Language:HaskellStargazers:3Issues:4Issues:0
Language:CLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

musehub-html

A web-interface to download the files that would otherwise require MuseHub

Language:TypeScriptLicense:MITStargazers:1Issues:2Issues:1

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaLicense:AGPL-3.0Stargazers:0Issues:1Issues:0
Language:HaskellLicense:MITStargazers:0Issues:3Issues:0

agda-unimath

Univalent mathematics in Agda

Language:MakefileLicense:MITStargazers:0Issues:1Issues:0
Language:NixStargazers:0Issues:3Issues:0

dotfiles

My nix config files and stuff

Language:NixStargazers:0Issues:2Issues:0

dsl

Domain Specific Languages for Computational Law

Language:Grammatical FrameworkStargazers:0Issues:2Issues:0
Language:HaskellStargazers:0Issues:2Issues:0

gf-core

Grammatical Framework core: compiler, shell & runtimes

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

gf-rgl

Grammatical Framework's Resource Grammar Library (RGL)

Language:Grammatical FrameworkLicense:NOASSERTIONStargazers:0Issues:1Issues:0

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.

Language:Grammatical FrameworkLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:TeXStargazers:0Issues:2Issues:0

gf-vscode

A VS Code extension for Grammatical Framework

Language:TypeScriptLicense:MITStargazers:0Issues:3Issues:0

haskell-gtd-nl

Haskell 'go to (non-local) definitions' extension

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

HoTTEST-Summer-School

HoTTEST Summer School materials

Language:AgdaStargazers:0Issues:1Issues:0

hydra-check

check hydra for the build status of a package [maintainer=@makefu]

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

kubo

An IPFS implementation in Go

Language:GoLicense:NOASSERTIONStargazers:0Issues:1Issues:0

LTL-Agda

Implementation based off Huth & Ryan's LOGIC IN COMPUTER SCIENCE

Language:AgdaStargazers:0Issues:2Issues:0

NativeYoutube

Personal App that turned into "alpha released app" v2

Language:SwiftLicense:MITStargazers:0Issues:1Issues:0

nbe-edsl

Normalization by Evaluation for Embedded Domain-specific Languages

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

nix-du

Visualise which gc-roots to delete to free some space in your nix store

Language:RustLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

nixpkgs

Nix Packages collection

License:MITStargazers:0Issues:0Issues:0

nushell

A new type of shell

Language:RustLicense:MITStargazers:0Issues:1Issues:0

udpipe

UDPipe: Trainable pipeline for tokenizing, tagging, lemmatizing and parsing Universal Treebanks and other CoNLL-U files

Language:C++License:MPL-2.0Stargazers:0Issues:2Issues:0

udpipe-hs

Basic haskell bindings for udpipe

Language:HaskellStargazers:0Issues:3Issues:0

vscode-unison

Official Unison extension for Visual Studio Code

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0