Explore projects

Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.

http://windatlas.xyz A website for making 40 years of hourly wind energy data easily available.

Active Knowledge Graph Completion resources

Per model field permissions for Django.

CECS Course Information Management System

Web password managing utilities

code for Episode Adaptive Embedding Networks for Few-shot Learning

MoonBeam converts AFL tuples (i.e., coverage information) into bitvectors usable by MoonLight

repository 5: PDDL4J-TO by Damien Pellier and Humbert Fiorino

An AOT compiler for Mu using LLVM.

Mu performance measurement framework and benchmarks.

Zebu micro VM, a high performance Mu impl.