julian-klode/lingolang

Stars
2
Language
Go
License
BSD 2-Clause "Sim...
Created over 7 years ago
Updated almost 7 years ago

julian-klode/lingolang

julian-klode

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

WIP (very WIP): Linear Typing for Go (master's thesis)

dns66

DNS-based Host Blocker (and lightweight ad blocker) for Android

triehash

Generator for order-preserving minimal perfect hash functions in C

ddelta

streaming, uncompressed, less memory-needy version of bsdiff - the d stands for ddelta (very WIP, there might be heavy rebasing and filter-branch going on)

sicherboot

Unmaintained systemd-boot integration with secure boot support; consider https://github.com/Foxboron/sbctl instead.

dir2ogg

Official repository of dir2ogg

bacon-superuser

Enable the integrated superuser support in your OnePlus One

mastodon-comments

Mastodon comment server in Go; AGPL licensed

ansible.jak-linux.org

go-apt

Go Bindings for APT

dotfiles

My dotfiles (License: GPL-3.0)

blog.jak-linux.org

bridgeproxy

Decrypting Bridge to remote HTTPS proxy

goledger

Various stuff written in Go for importing data into hledger

usr-local

victor-hugo

jak-fintools

Tools for finance

jak-linux.org

The http://jak-linux.org/ source code

safe-rm-c

safe-rm written in C

openwrt-building

My scripts for OpenWRT

dns.jak-linux.org

iot-gateway

Configuration files for the IoT controller

eatmydata-sc

Like eatmydata, but using seccomp

taxde

German income tax calculator

dpkg-memstats

Show memory usage per Debian package (not part of dpkg)