nickgian

ECC-OCaml

Elliptic Curves Cryptography for OCaml

MathSAT-ML

OCaml bindings to MathSAT solver

ProjectEuler

Project Euler Problems in Some OCaml & Just Haskell

alpaca

Llama Compiler

thesis

NTUA diploma thesis

Bonsai-coq

A formalization of SRPs and Control Plane Compression in Coq.

CUTE-homework

Concolic testing for C programs

Euler-Lib

Complementary Library for Project Euler in OCaml

nickgian.github.io

ProbNV

batfish

Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.

compcomp

Compositional CompCert

compcomp1

contra

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dice

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

FP-Project

Project for MPRI 2-4

FStar

Verification system for effectful programs

hw2_rottenpotatoes

HW2 CS169.1x

hw3_rottenpotatoes

HW 3 skeleton for doing BDD with RottenPotatoes

hw4_rottenpotatoes

jebus

The Jebus Lambda Calculus Interpreter

ns3-ecn-sharp

nv

educational materials on network verification

ocaml

OCaml Labs' branches of OCaml

propane

pseudoabs

pybatfish

Python client for Batfish: https://github.com/batfish/batfish

Rosalind

Rosalind.info problem solutions

VST

Verified Software Toolchain