bramvdbogaerde

go-scp

Simple Golang scp client

z3-wasm

Scripts and Javascript Glue code to use Z3 in the browser using WASM

ambienttalk.vim

AmbientTalk Language Vim Plugin

ansible-scheme

PoC Scheme evaluator in Ansible

arrowp

Modern fork of the Arrow notation preprocessor

bencode

BitTorrent Encoding in Rust based on Serde

dotfiles

My personal dotfiles used accross my systems

ethminer

Ethereum miner with OpenCL, CUDA and stratum support

game-sim

Game simulations for simple boardgames

innernet

A private network system that uses WireGuard under the hood.

interpeter-experiments

Experiments with interpreters in Rust (recursive, CPS style, ...)

ksslib

An opinionated Kubernetes Configuration Generator in Scala

librespot-rpc

Spotify Connect daemon for Volumio

M5Stack

M5Stack Arduino Library

maf

Static Analysis Framework for Modular Analyses

maf-hs

maf2-lambda

An example of the MAF2 framework using an extended lambda calculus

maven-repo

Personal Maven Repository, used for hosting forked artifacts

meta

A Matrix-Facebook Messenger and Instagram DM puppeting bridge.

metals

Scala language server with rich IDE features 🚀

nixcfgs

Nix configuration files

node-unix-crypt

Native bindings to UNIX crypt(3), as used in for example Dovecot, /etc/shadow, ...

plugin.audio.spotify

Spotify Connect Plugin for Kodi

rocket-images

Some images testing coreos/rocket

scala-smtlib

Scala library for parsing and printing the SMT-LIB format

scalameta

Library to read, analyze, transform and generate Scala programs

slip-rs

type-level-tests

Playground for testing type-level programming in Scala

webassembly-tests

wireguard-p2p

A P2P WireGuard connection system, instead of the hub-and-spoke topology