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