jeanpehk Goto Github PK

damn-vulnerable-defi

doubly-generic

Arity-generic datatype-generic, or doubly-generic, programming in Coq.

latexume

Generate a simple LaTeX resume from a subset of markdown.

minic

Compiler for a subset of C that uses LLVM for code generation.

pixyll

A simple, beautiful Jekyll theme that's mobile first

plutus-pioneer-program

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

rust-v

A Simple RISC-V Core in Rust

stlc

Demo implementation of simply typed lambda calculus.

test

The reference C++ unit testing framework (TDD, xUnit, C++03/11/14/17)