jeanpehk

Pinned Repositories

doubly-generic
Arity-generic datatype-generic, or doubly-generic, programming in Coq.
Language:Coq40
minic
Compiler for a subset of C that uses LLVM for code generation.
Language:Haskell40
damn-vulnerable-defi
Language:Solidity00
latexume
Generate a simple LaTeX resume from a subset of markdown.
Language:Haskell00
pixyll
A simple, beautiful Jekyll theme that's mobile first
Language:SCSS00
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.
Language:Haskell00
rust-v
A Simple RISC-V Core in Rust
Language:Rust00
stlc
Demo implementation of simply typed lambda calculus.
Language:Haskell00
test
The reference C++ unit testing framework (TDD, xUnit, C++03/11/14/17)
Language:C++00

jeanpehk's Repositories

jeanpehk/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.
Language:Haskell
jeanpehk/damn-vulnerable-defi
Language:Solidity
jeanpehk/rust-v
A Simple RISC-V Core in Rust
Language:Rust
jeanpehk/test
The reference C++ unit testing framework (TDD, xUnit, C++03/11/14/17)
Language:C++
jeanpehk/doubly-generic
Arity-generic datatype-generic, or doubly-generic, programming in Coq.
Language:Coq4
jeanpehk/minic
Compiler for a subset of C that uses LLVM for code generation.
Language:Haskell4
jeanpehk/pixyll
A simple, beautiful Jekyll theme that's mobile first
jeanpehk/latexume
Generate a simple LaTeX resume from a subset of markdown.
Language:Haskell
jeanpehk/stlc
Demo implementation of simply typed lambda calculus.
Language:Haskell