David Venhoek (davidv1992)

davidv1992

Geek Repo

0

following

0

stars

Github PK Tool:Github PK Tool


Organizations
pendulum-project

David Venhoek's repositories

SpecialFunctions

Implementation of polygamma in c++

Language:C++License:NOASSERTIONStargazers:2Issues:2Issues:0

Trans1

Design for discrete transistor cpu

Language:C++License:NOASSERTIONStargazers:2Issues:2Issues:0
Language:JavaScriptStargazers:1Issues:2Issues:0
Language:PythonLicense:MITStargazers:1Issues:4Issues:27

ONS

Implementation of calculating with nominal sets through orbit representations.

Language:C++License:MITStargazers:1Issues:2Issues:0

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Language:RustStargazers:0Issues:0Issues:0
Language:MakefileLicense:NOASSERTIONStargazers:0Issues:1Issues:0

draft-ntp-ntpv5

I-D: Network Time Protocol Version 5

Language:MakefileStargazers:0Issues:1Issues:0

flutter_i18n

I18n made easy, for Flutter!

Language:DartLicense:MITStargazers:0Issues:1Issues:0

gabi

Implementation of the Idemix attribute based credential scheme used in IRMA

Language:GoLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

irma-documentation

Source of IRMA technical documentation website

Language:JavaScriptStargazers:0Issues:1Issues:0

irmago

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

Language:GoLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ktra

Your Little Cargo Registry

License:Apache-2.0Stargazers:0Issues:0Issues:0

libc

Raw bindings to platform APIs for Rust

License:Apache-2.0Stargazers:0Issues:0Issues:0

newmoon-kernel

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

Language:CStargazers:0Issues:2Issues:0

nrf-hal

A Rust HAL for the nRF family of devices

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ONS_Minimise

Minimisation benchmarking code for comparing ONS to NLambda and LOIS

Language:C++Stargazers:0Issues:3Issues:0

openidconnect-rs

OpenID Connect Library for Rust

License:MITStargazers:0Issues:0Issues:0

ploutos

Reusable packaging workflow for Rust projects

Language:DockerfileLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

probe-rs

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

License:Apache-2.0Stargazers:0Issues:0Issues:0

Rocket

A web framework for Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rustls

A modern TLS library in Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

saml

SAML library for go

Language:GoLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

SPLCompiler

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

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:2Issues:0

spurious_wake_lock

Issue demonstration project for flutter resize wake_lock issue

Language:DartStargazers:0Issues:0Issues:0

ssm

Simple Stack Machine interpreter

Language:JavaLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

systemd

The systemd System and Service Manager

License:GPL-2.0Stargazers:0Issues:0Issues:0

testApp

Clone to try a simple Electron app

Language:JavaScriptLicense:CC0-1.0Stargazers:0Issues:2Issues:0
Language:C++Stargazers:0Issues:4Issues:0