petitnau

petitnau's Stars

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python67.8k8891.1k6.1k

• Gallopsled/pwntools

  CTF framework and exploit development library

  Language:Python12k2871.1k1.7k

• google/oss-fuzz

  OSS-Fuzz - continuous fuzzing for open source software.

  Language:Shell10.4k2522.4k2.2k

• shellphish/how2heap

  A repository for learning various heap exploitation techniques.

  Language:C7.2k261611.1k

• mre/idiomatic-rust

  🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

  Language:Rust6.5k15724197

• yoav-lavi/melody

  Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

  Language:Rust4.6k172955

• tkellogg/dura

  You shouldn't ever lose your work if you're using Git

  Language:Rust4.3k294666

• guyinatuxedo/nightmare

  Language:Python2.6k5829407

• yhzhang0128/egos-2000

  Envision a future where every student can read all the code of a teaching operating system.

  Language:C2.2k3213155

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript3537339

• gand3lf/heappy

  A happy heap editor to support your exploitation process :slightly_smiling_face:

  Language:JavaScript1954219

• algorandfoundation/grow-algorand

  Grow Algorand and Earn ALGOs ❤️

  901217733

• dagit/happy-plus-alex

  Template for quickly and easily combining happy and alex

  Language:Logos49407

• narodnik/abstract-algebra-pinter-solutions

  Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter

  Language:HTML444613

• da-x/happy-alex-example

  Example of combining Alex (lexical parser) and Happy (syntax parser)

  Language:Haskell31403

• petitnau/algoml

  A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

  Language:OCaml24315

• blockchain-unica/rosetta-smart-contracts

  Language:Rust18801

• Ptival/language-ocaml

  Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)

  Language:Haskell12501

• Vilin97/linear-algebra-done-right

  Language:Lean9100

• martincmartin/linear_algebra_done_right3

  A translation of Sheldon Axler's textbook Linear Algebra Done Right into Lean

  Language:Lean71

• danielepusceddu/C-Hallenge2020_Conquest

  Team PPP's submission for C-Hallenge 2020

  Language:C3400

• petitnau/pacman

  Language:C2100