nickgian Goto Github PK

alpaca

Llama Compiler

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.

bonsai-coq

A formalization of SRPs and Control Plane Compression in Coq.

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.

cute-homework

Concolic testing for C programs

dice

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

ecc-ocaml

Elliptic Curves Cryptography for OCaml

euler-lib

Complementary Library for Project Euler in OCaml

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

mathsat-ml

OCaml bindings to MathSAT solver

nickgian.github.io

ns3-ecn-sharp

nv

educational materials on network verification

ocaml

OCaml Labs' branches of OCaml

probnv

projecteuler

Project Euler Problems in Some OCaml & Just Haskell

propane

pseudoabs

pybatfish

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

rosalind

Rosalind.info problem solutions

thesis

NTUA diploma thesis

vst

Verified Software Toolchain