Wassasin/allerhande Wassasin/allerhande

  • Stars
    star
    1
  • Language
    C++
  • Created almost 12 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Wassasin/allerhande
github

Wassasin

Reviews

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

Repository Details

Scraper for the Albert Heijn recipe page

More Repositories

1

ibe

Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve
Rust
20
star
2

dsmr5

DSMR5 protocol implemented in no-std Rust
Rust
13
star
3

librusql

A fault-tolerant MySQLCppConn C++11-wrapper
C++
8
star
4

nebula

Playing with Volumetric Particle Clouds and Raytracing in OpenGL and C++
C++
7
star
5

vrijbrief

CLI for ticket reservations for the Radboud University Sportscentre
Python
4
star
6

splang

Simple Programming Language compiler in Haskell
Haskell
4
star
7

fastcgipp

Fork of the FastCGI++ library
C++
4
star
8

tinyphash

Tiny and simple C implementation of DCT perceptual hash
C
3
star
9

slimmemeter

Quick and dirty DSMR5 serial TTY to MQTT exporter
Rust
2
star
10

letsencrypt-nginx-tiny

A collection of instructions and bash scripts to maintain letsencrypt on a server
Shell
2
star
11

splicpp

SPL compiler in C++
C++
2
star
12

premiseselection

Premise selection for Coq on various corpora
PostScript
1
star
13

superplan

Smart Planner in Python for Hackergames hackathon
Python
1
star
14

islang

Inductive Scripting Language
C++
1
star
15

vakkenranking

Parsing application for Radboud University evaluations.
C++
1
star
16

ical-filter

HTTP daemon to normalize and filter iCalendar files
Rust
1
star
17

deterministic-hash

Library to create deterministic hashes regardless of architecture
Rust
1
star
18

lcfprover

LCF-style prover for minimal propositional logic in OCaml.
OCaml
1
star
19

roerei

Premise selection for Coq in OCaml and C++
C++
1
star
20

irmars

IRMA Rust library for attribute verification and issuance
Rust
1
star