Andreas Bogk's repositories
bigredbutton
Big red button with a USB HID interface
elua-lpc2134
port of elua to lpc2134 cpu
andreasdotorg-dns
Mirage-based DNS server
apps-inoeg
Kiebitz Web Applications (for users, providers and mediators). Still a work-in-progress, use with care!
argo-cd
Declarative continuous deployment for Kubernetes.
elua
eLua Project on GitHub
FStar
An ML-like language aimed at program verification
grpc-rust
Rust implementation of gRPC
gui-python-gtk
Criando interfaces gráficas com Python e GTK.
hacl-star
HACL*, a formally verified cryptographic library written in F*
jackline
XMPP client in OCaml
kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
Lua-RTOS-ESP32
Lua RTOS for ESP32
mitls-fstar
TLS implemented in F*
nvda
NVDA, the free and open source Screen Reader for Microsoft Windows
octopress
Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?
OpenHPSDR-Protocol1-Programmers
HPSDR Programmers for the Original Protocol (protocol1)
openssl
TLS/SSL and crypto library
ort
A suite of tools to assist with reviewing Open Source Software dependencies.
pidcodes.github.com
Website for pid.codes
quartus-install
Install Intel FPGA 'Quartus Prime' software on remote servers
services
The Kiebitz Backend Services. Still a work-in-progess, use with care!
vale
Verified Assembly Language for Everest
xmpp
OCaml based XMPP implementation