jeanpehk

jeanpehk's Stars

• carolinaknoll/awesome-latin

  Collection of awesome resources for those who want to lean Latin.

  81

• seumasjeltzz/LinguaeGraecaePerSeIllustrata

  LGPSI: An open, expansive Greek-reading composition project

  Language:Shell13624

• gakonst/ethers-rs

  Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

  Language:Rust2.5k796

• theredguild/damn-vulnerable-defi

  The smart contract security training ground for developers, security researchers and educators.

  Language:Solidity910896

• KDE/krita

  Krita is a free and open source cross-platform application that offers an end-to-end solution for creating digital art files from scratch built on the KDE and Qt frameworks.

  Language:C++7.2k568

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly10k2.5k

• wilcoxjay/coq-lit

  Literate coq blog posts

  Language:Python161

• HigherOrderCO/Kind1

  A modern proof language

  Language:JavaScript3.5k140

• coq-community/coq-tricks

  Tricks you wish the Coq manual told you [maintainer=@tchajed]

  Language:Coq49721

• whonore/Coqtail

  Interactive Coq Proofs in Vim

  Language:Python27134