overbk

overbk's Stars

• RockstarLang/rockstar

  Home of the Rockstar programming language

  Language:JavaScript6.9k123198223

• matze/mtheme

  A modern LaTeX Beamer theme

  Language:TeX6.4k129277846

• yishn/tikzcd-editor

  A simple visual editor for creating commutative diagrams.

  Language:JavaScript1.9k2949100

• fredokun/TikZ-Editor

  TikZ Editor is a free code editor for the LaTeX graphic package TikZ.

  Language:Python184211325

• blanchette/logical_verification_2023

  Hitchhiker's Guide to Logical Verification (2023 Edition)

  Language:Lean902316

• shdnx/dangless-malloc

  A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer Science Master's thesis with the VUSec research group.

  Language:C10220

• sirkibsirkib/Reowolf

  Language:Rust1200