jeroenk

jeroenk's Stars

• acaudwell/Gource

  software version control visualization

  Language:C++11.6k235241720

• ytisf/theZoo

  A repository of LIVE malwares for your own joy and pleasure. theZoo is a project created to make the possibility of malware analysis open and available to the public.

  Language:Python11.4k8121562.5k

• TeMPOraL/nyan-mode

  Nyan Cat for Emacs! Nyanyanyanyanyanyanyanyanyan!

  Language:Emacs Lisp801153667

• erikolsson/Touch-Bar-Lemmings

  Language:Swift536271361

• boogie-org/boogie

  Boogie

  Language:Boogie51530272112

• davidgiven/ack

  The Amsterdam Compiler Kit

  Language:C4423114964

• smackers/smack

  SMACK Software Verifier and Verification Toolchain

  Language:C4312445382

• mc-imperial/gpuverify

  GPUVerify: a Verifier for GPU Kernels

  Language:C#58122515

• s-falke/kittel-koat

  KITTeL/KoAT

  Language:F*21579

• s-falke/llvm2kittel

  llvm2KITTeL

  Language:C++194812

• mc-imperial/bugle

  An LLVM Bitcode to Boogie translator

  Language:C++10404

• martijnvermaat/infinitary-rewriting-coq

  Infinitary Rewriting in Coq

  Language:Coq540

• tarao/multi-mode-util

  A package of Emacs Lisp for easy-to-use multiple major mode.

  Language:Emacs Lisp522

• TNO/Dependency_Graph_Extractor-Ada

  Language:Ada4650

• phuseman/memtime

  Measure time and memory consumption. copied from http://www.update.uu.se/~johanb/memtime/

  Language:C3203