Pinned Repositories
andreasdotorg-deploy
bigredbutton
Big red button with a USB HID interface
elua-lpc2134
port of elua to lpc2134 cpu
emdn
The Elite:Dangerous Market Data Network
freebsd
FreeBSD src tree
neutr1n0
neutrinos pass through objects nearly undetected
nuclblog
My hack of Cyrus Harmon's Common Lisp blog software
opendylan
The Open Dylan compiler and IDE.
pdfparser
ZombieGotcha
andreasdotorg's Repositories
andreasdotorg/bigredbutton
Big red button with a USB HID interface
andreasdotorg/elua-lpc2134
port of elua to lpc2134 cpu
andreasdotorg/linhpsdr
Linux HPSDR
andreasdotorg/orion-mk2-firmware
andreasdotorg/andreasdotorg-dns
Mirage-based DNS server
andreasdotorg/apps-inoeg
Kiebitz Web Applications (for users, providers and mediators). Still a work-in-progress, use with care!
andreasdotorg/argo-cd
Declarative continuous deployment for Kubernetes.
andreasdotorg/bigxionflasher-usb
andreasdotorg/BLHeli
BLHeli for brushless ESC firmware
andreasdotorg/elua
eLua Project on GitHub
andreasdotorg/everest
andreasdotorg/FStar
An ML-like language aimed at program verification
andreasdotorg/grpc-rust
Rust implementation of gRPC
andreasdotorg/gui-python-gtk
Criando interfaces gráficas com Python e GTK.
andreasdotorg/hacl-star
HACL*, a formally verified cryptographic library written in F*
andreasdotorg/jackline
XMPP client in OCaml
andreasdotorg/kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
andreasdotorg/kubernetes
andreasdotorg/Lua-RTOS-ESP32
Lua RTOS for ESP32
andreasdotorg/mitls-fstar
TLS implemented in F*
andreasdotorg/nvda
NVDA, the free and open source Screen Reader for Microsoft Windows
andreasdotorg/octopress
Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?
andreasdotorg/OpenHPSDR-Protocol1-Programmers
HPSDR Programmers for the Original Protocol (protocol1)
andreasdotorg/openssl
TLS/SSL and crypto library
andreasdotorg/ort
A suite of tools to assist with reviewing Open Source Software dependencies.
andreasdotorg/pidcodes.github.com
Website for pid.codes
andreasdotorg/quartus-install
Install Intel FPGA 'Quartus Prime' software on remote servers
andreasdotorg/services
The Kiebitz Backend Services. Still a work-in-progess, use with care!
andreasdotorg/vale
Verified Assembly Language for Everest
andreasdotorg/xmpp
OCaml based XMPP implementation