Pinned Repositories
AI_project1
AI project implemented in Haskell
alpaca
Llama Compiler for compilers course
bobcat
simple java servlets for ntua web applications course
comparch
CUTE-homework
Concolic testing for C programs
ECC-OCaml
Elliptic Curves Cryptography for OCaml
jebus
The Jebus Lambda Calculus Interpreter
LazyOcaml
Lazyness in Ocaml with Syntax Extensions
PL2
Course Material for "Programming Languages II"
safe-for-space
Formal proof that closure conversion with flat environments is safe for space.
zoep's Repositories
zoep/jebus
The Jebus Lambda Calculus Interpreter
zoep/LazyOcaml
Lazyness in Ocaml with Syntax Extensions
zoep/CUTE-homework
Concolic testing for C programs
zoep/safe-for-space
Formal proof that closure conversion with flat environments is safe for space.
zoep/AI_project1
AI project implemented in Haskell
zoep/alpaca
Llama Compiler for compilers course
zoep/bobcat
simple java servlets for ntua web applications course
zoep/comparch
zoep/ECC-OCaml
Elliptic Curves Cryptography for OCaml
zoep/ProjectEuler
Project Euler Problems in Some OCaml & Just Haskell
zoep/airport_project
zoep/Euler-Lib
Complementary Library for Project Euler
zoep/zoep.github.io
personal webpage
zoep/act
Smart contract specification language
zoep/certicoq
zoep/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
zoep/ed25519-dalek
Fast and efficient ed25519 signing and verification in Rust.
zoep/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
zoep/FStar
Verification system for effectful programs
zoep/hw3_rottenpotatoes
HW 3 skeleton for doing BDD with RottenPotatoes
zoep/hw4_rottenpotatoes
zoep/libra
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
zoep/ocaml
OCaml Labs' branches of OCaml
zoep/Rosalind
Rosalind.info problem solutions
zoep/rust-curve25519-fiat
Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
zoep/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
zoep/x25519-dalek
X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.