StevenBrons

StevenBrons's Stars

• awodey/Impredicative

  impredicative encodings in Lean

  Language:Lean62

• hedgedoc/hedgedoc

  HedgeDoc - Ideas grow better together

  Language:TypeScript4.9k385

• bartromgens/nsmaps

  Interactive contour map visualising Dutch railways (NS) traveltime times

  Language:Python131

• SCRK16/Intuitionism

  Intuitionism in Lean

  Language:Lean1

• ShivaliGoel/Quotes-500K

  13411

• TotallyNotChase/glitch-this

  :camera: Glitchify images and GIF - with highly customizable options!

  Language:Python1.8k63

• Queuebee2/Course4Tutor

  Repo for course 4 bioinformatics

  Language:Python3