Wassasin/deterministic-hash

Stars
1
Language
Rust
License
MIT License
Created over 3 years ago
Updated over 3 years ago

Wassasin/deterministic-hash

Wassasin

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Library to create deterministic hashes regardless of architecture

ibe

Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve

dsmr5

DSMR5 protocol implemented in no-std Rust

librusql

A fault-tolerant MySQLCppConn C++11-wrapper

nebula

Playing with Volumetric Particle Clouds and Raytracing in OpenGL and C++

vrijbrief

CLI for ticket reservations for the Radboud University Sportscentre

splang

Simple Programming Language compiler in Haskell

fastcgipp

Fork of the FastCGI++ library

tinyphash

Tiny and simple C implementation of DCT perceptual hash

slimmemeter

Quick and dirty DSMR5 serial TTY to MQTT exporter

letsencrypt-nginx-tiny

A collection of instructions and bash scripts to maintain letsencrypt on a server

splicpp

SPL compiler in C++

premiseselection

Premise selection for Coq on various corpora

superplan

Smart Planner in Python for Hackergames hackathon

islang

Inductive Scripting Language

vakkenranking

Parsing application for Radboud University evaluations.

ical-filter

HTTP daemon to normalize and filter iCalendar files

allerhande

Scraper for the Albert Heijn recipe page

lcfprover

LCF-style prover for minimal propositional logic in OCaml.

roerei

Premise selection for Coq in OCaml and C++

irmars

IRMA Rust library for attribute verification and issuance