zoep Goto Github PK

act

Smart contract specification language

ai_project1

AI project implemented in Haskell

airport_project

alpaca

Llama Compiler for compilers course

bobcat

simple java servlets for ntua web applications course

certicoq

comparch

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

cute-homework

Concolic testing for C programs

ecc-ocaml

Elliptic Curves Cryptography for OCaml

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

euler-lib

Complementary Library for Project Euler

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

fstar

Verification system for effectful programs

hw3_rottenpotatoes

HW 3 skeleton for doing BDD with RottenPotatoes

hw4_rottenpotatoes

jebus

The Jebus Lambda Calculus Interpreter

lazyocaml

Lazyness in Ocaml with Syntax Extensions

libra

Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.

ocaml

OCaml Labs' branches of OCaml

projecteuler

Project Euler Problems in Some OCaml & Just Haskell

rosalind

Rosalind.info problem solutions

rust-curve25519-fiat

Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project

safe-for-space

Formal proof that closure conversion with flat environments is safe for space.

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

x25519-dalek

X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.

zoep.github.io

personal webpage