nickgian

AWSSeattle, WA

Pinned Repositories

alpaca
Llama Compiler
Language:OCaml2 4 00
Bonsai-coq
A formalization of SRPs and Control Plane Compression in Coq.
Language:Coq1 1 00
CUTE-homework
Concolic testing for C programs
Language:OCaml1 3 00
ECC-OCaml
Elliptic Curves Cryptography for OCaml
Language:TeX12 4 28
Euler-Lib
Complementary Library for Project Euler in OCaml
Language:OCaml1 3 00
MathSAT-ML
OCaml bindings to MathSAT solver
Language:OCaml4 4 00
nickgian.github.io
Language:CSS1 2 00
ProbNV
Language:OCaml1 2 10
ProjectEuler
Project Euler Problems in Some OCaml & Just Haskell
Language:OCaml3 3 01
thesis
NTUA diploma thesis
Language:TeX2 3 00

nickgian's Repositories

nickgian/ECC-OCaml
Elliptic Curves Cryptography for OCaml
Language:TeX12 4 28
nickgian/MathSAT-ML
OCaml bindings to MathSAT solver
Language:OCaml4 4 00
nickgian/ProjectEuler
Project Euler Problems in Some OCaml & Just Haskell
Language:OCaml3 3 01
nickgian/alpaca
Llama Compiler
Language:OCaml2 4 00
nickgian/thesis
NTUA diploma thesis
Language:TeX2 3 00
nickgian/Bonsai-coq
A formalization of SRPs and Control Plane Compression in Coq.
Language:Coq1 1 00
nickgian/CUTE-homework
Concolic testing for C programs
Language:OCaml1 3 00
nickgian/Euler-Lib
Complementary Library for Project Euler in OCaml
Language:OCaml1 3 00
nickgian/nickgian.github.io
Language:CSS1 2 00
nickgian/ProbNV
Language:OCaml1 2 10
nickgian/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.
Language:Java0 0
nickgian/compcomp
Compositional CompCert
Language:Coq3 0
nickgian/compcomp1
Language:Coq2 0
nickgian/contra
Language:Shell1 0
nickgian/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.
Language:OCaml2 0
nickgian/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
Language:OCaml1 0
nickgian/FP-Project
Project for MPRI 2-4
Language:OCaml2 0
nickgian/FStar
Verification system for effectful programs
Language:OCaml2 0
nickgian/hw2_rottenpotatoes
HW2 CS169.1x
Language:Ruby2 01
nickgian/hw3_rottenpotatoes
HW 3 skeleton for doing BDD with RottenPotatoes
Language:Ruby2 0
nickgian/hw4_rottenpotatoes
Language:Ruby
nickgian/jebus
The Jebus Lambda Calculus Interpreter
Language:Haskell2 0
nickgian/ns3-ecn-sharp
Language:Jupyter Notebook2 0
nickgian/nv
educational materials on network verification
Language:OCaml2 0
nickgian/ocaml
OCaml Labs' branches of OCaml
Language:OCaml2 0
nickgian/propane
Language:TeX2 0
nickgian/pseudoabs
Language:OCaml2 0
nickgian/pybatfish
Python client for Batfish: https://github.com/batfish/batfish
Language:Jupyter Notebook0 0
nickgian/Rosalind
Rosalind.info problem solutions
Language:OCaml3 01
nickgian/VST
Verified Software Toolchain
Language:Coq2 0