David Venhoek's repositories
alloctools
Allocator tools for rust
draft-ntp-ntpv5
I-D: Network Time Protocol Version 5
ploutos
Reusable packaging workflow for Rust projects
systemd
The systemd System and Service Manager
libc
Raw bindings to platform APIs for Rust
probe-rs
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
axum
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
openidconnect-rs
OpenID Connect Library for Rust
rustls
A modern TLS library in Rust
ktra
Your Little Cargo Registry
saml
SAML library for go
rust
Empowering everyone to build reliable and efficient software.
gabi
Implementation of the Idemix attribute based credential scheme used in IRMA
Rocket
A web framework for Rust.
irmago
IRMA server, client, and tooling. Documentation: http://irma.app/docs
nrf-hal
A Rust HAL for the nRF family of devices
irma-documentation
Source of IRMA technical documentation website
spurious_wake_lock
Issue demonstration project for flutter resize wake_lock issue
newmoon-kernel
Kernel designed with support for full runtime patching of all its components.
flutter_i18n
I18n made easy, for Flutter!
SpecialFunctions
Implementation of polygamma in c++
ONS_Minimise
Minimisation benchmarking code for comparing ONS to NLambda and LOIS
testApp
Clone to try a simple Electron app
SPLCompiler
A (somewhat) simple compiler for the SPL language, first started as a project for compiler construction course