wassasin Goto Github PK

aeads

Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers

allerhande

Scraper for the Albert Heijn recipe page

arabica

Arabica is an XML and HTML processing toolkit, providing SAX2, DOM, XPath, and XSLT implementations, written in Standard C++

argus

Command-line interface for the Coop supermarket chain

argus2

Interface for Coop in Node / Puppeteer (WIP)

async-on-embedded

async-std

Async version of the Rust standard library

atpscheduler

Scheduler for Automatic Theorem Prover strategies in Python

automatedreasoning

Project for the Automated Reasoning course at the Radboud University

avrprogrammer

ATtiny13 programmer PCB in EagleCAD

bma2xx

Rust embedded HAL driver for Bosch BMA2XX series accelerometers

bunqjsclient

A javascript SDK for the bunq API

cherrity-pick

App for picking charities via engagement measurements (fitbit + facial expression recognition)

class-central

Source code for Class Central

clean-streams

A small library for co-algebraic stream calculations implemented in Clean.

cloaca

Analysis of Course Accreditation for the OLC

colpick-jquery-color-picker

Lightweight jQuery Color Picker plugin with RGB, HSB and HEX fields, several skins and layouts. Usage & examples: http://colpick.com/plugin

computeralgebra

Exercises for the Radboud University Computer Algebra course, implemented in Magma.

dazeus-plugin-maduka

IRC interface for the Albert Heijn inventory and ordering system

deterministic-hash

Library to create deterministic hashes regardless of architecture

dewi-reservations-ical

Dewi Online reservations as ical HTTP daemon in Rust for use with Grip Nijmegen bouldergym

diskscan

Disk scan utility

dsmr5

DSMR5 protocol implemented in no-std Rust

elevatormodel

Modelling and Analysis of an Elevator System with NuSMV2

embassy

Modern embedded framework, using Rust and async.

embedded-sdmmc-rs

A SD/MMC library with FAT16/FAT32 support, suitable for Embedded Rust systems

entreedief

Scraper for the website of the housing organisation Portaal

esb

Rust implementation of Nordic's Enhanced ShockBurst communication protocol

esp-idf

Espressif IoT Development Framework. Official development framework for ESP32.

fancontroller

5x PWM fan controller device