• Encrypted-TAO

    Simplified Implementation of Facebook's TAO engine, plus encryption. In Rust.
    Privacy-Preserving Rust
  • Session-Pi

    A Session-Typed Pi-Calculus Interpreter
    PL/Compilers OCaml
  • Pattern Matching Anomaly Detection in sslang

    Detecting useless arms in, or non-exhaustive, pattern matching in the sslang language
    PL/Compilers Haskell
  • Orlang

    Poor Man's OCaml
    PL/Compilers OCaml
  • RLCycle

    Modular Reinforcement Learning Agents Framework
    Machine Learning