Wassasin/islang

Stars
1
Language
C++
License
MIT License
Created almost 10 years ago
Updated over 9 years ago

Wassasin/islang

Wassasin

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

Inductive Scripting Language

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

vakkenranking

Parsing application for Radboud University evaluations.

ical-filter

HTTP daemon to normalize and filter iCalendar files

deterministic-hash

Library to create deterministic hashes regardless of architecture

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