bramvdbogaerde
Doctoral Researcher at Software Languages Lab at the VUB. Languages: Rust, Scala, Java, Python, Kotlin, Ruby, Scheme, Go.
Belgium
Pinned Repositories
actor-game-hs
A game written in Haskell to play around with actors
auth-rs
Simple username/password authentication system for Rocket
dbmodelgo
Generic Database Interface for Go
DeezPlayer
OS X wrapper for Deezer.com with support for Multimedia Keys
go-randomstring
Random string generator in Go
go-scp
Simple Golang scp client
objectsframework
ObjectsFramework is a simple, yet powerful, HTTP application framework.
objectsframework-templates
Template Engine for ObjectsFramework
tortilla.rb
Wrapping web APIs made easy. Ruby port.
z3-wasm
Scripts and Javascript Glue code to use Z3 in the browser using WASM
bramvdbogaerde's Repositories
bramvdbogaerde/go-scp
Simple Golang scp client
bramvdbogaerde/z3-wasm
Scripts and Javascript Glue code to use Z3 in the browser using WASM
bramvdbogaerde/ansible-scheme
PoC Scheme evaluator in Ansible
bramvdbogaerde/arrowp
Modern fork of the Arrow notation preprocessor
bramvdbogaerde/bencode
BitTorrent Encoding in Rust based on Serde
bramvdbogaerde/bramvdbogaerde.github.io
bramvdbogaerde/dotfiles
My personal dotfiles used accross my systems
bramvdbogaerde/game-sim
Game simulations for simple boardgames
bramvdbogaerde/innernet
A private network system that uses WireGuard under the hood.
bramvdbogaerde/interpeter-experiments
Experiments with interpreters in Rust (recursive, CPS style, ...)
bramvdbogaerde/ksslib
An opinionated Kubernetes Configuration Generator in Scala
bramvdbogaerde/language-python
A parser for Python 2.x and 3.x written in Haskell
bramvdbogaerde/layers-mtl
Modular type class machinery for monad transformer stacks. (mtl edition)
bramvdbogaerde/librespot-rpc
Spotify Connect daemon for Volumio
bramvdbogaerde/maf
Static Analysis Framework for Modular Analyses
bramvdbogaerde/maf-hs
bramvdbogaerde/maf2-lambda
An example of the MAF2 framework using an extended lambda calculus
bramvdbogaerde/maven-repo
Personal Maven Repository, used for hosting forked artifacts
bramvdbogaerde/meta
A Matrix-Facebook Messenger and Instagram DM puppeting bridge.
bramvdbogaerde/metals
Scala language server with rich IDE features 🚀
bramvdbogaerde/nixcfgs
Nix configuration files
bramvdbogaerde/node-unix-crypt
Native bindings to UNIX crypt(3), as used in for example Dovecot, /etc/shadow, ...
bramvdbogaerde/plugin.audio.spotify
Spotify Connect Plugin for Kodi
bramvdbogaerde/rocket-images
Some images testing coreos/rocket
bramvdbogaerde/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
bramvdbogaerde/scalameta
Library to read, analyze, transform and generate Scala programs
bramvdbogaerde/slip-rs
bramvdbogaerde/type-level-tests
Playground for testing type-level programming in Scala
bramvdbogaerde/webassembly-tests
bramvdbogaerde/wireguard-p2p
A P2P WireGuard connection system, instead of the hub-and-spoke topology