davidv1992 Goto Github PK

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

draft-ntp-ntpv5

I-D: Network Time Protocol Version 5

flutter_i18n

I18n made easy, for Flutter!

gabi

Implementation of the Idemix attribute based credential scheme used in IRMA

hanabi

irma-documentation

Source of IRMA technical documentation website

irmago

IRMA server, client, and tooling. Documentation: http://irma.app/docs

ktra

Your Little Cargo Registry

libc

Raw bindings to platform APIs for Rust

madmin

WIP

newmoon-kernel

Kernel designed with support for full runtime patching of all its components.

nrf-hal

A Rust HAL for the nRF family of devices

ons

Implementation of calculating with nominal sets through orbit representations.

ons_minimise

Minimisation benchmarking code for comparing ONS to NLambda and LOIS

openidconnect-rs

OpenID Connect Library for Rust

ploutos

Reusable packaging workflow for Rust projects

probe-rs

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

rocket

A web framework for Rust.

rust

Empowering everyone to build reliable and efficient software.

rustls

A modern TLS library in Rust

saml

SAML library for go

specialfunctions

Implementation of polygamma in c++

splcompiler

A (somewhat) simple compiler for the SPL language, first started as a project for compiler construction course

spurious_wake_lock

Issue demonstration project for flutter resize wake_lock issue

ssm

Simple Stack Machine interpreter

systemd

The systemd System and Service Manager

testapp

Clone to try a simple Electron app