TamerAbdElaziz

TamerAbdElaziz's Stars

• sujeetc/ScrawlD

  Language:Python4414

• DoctorWkt/acwj

  A Compiler Writing Journey

  Language:C10.5k1k

• kframework/k-legacy

  The K tools (deprecated, see README)

  Language:Java14661

• munificent/craftinginterpreters

  Repository for the book "Crafting Interpreters"

  Language:HTML8.9k1k

• rspivak/lsbasi

  Let's Build A Simple Interpreter

  Language:Python1.8k418

• edcarter/ELongJump

  Implementation of the setjmp and longjmp C calls

  Language:Assembly1

• bdusell/cminor

  A compiler for a small C-like language.

  Language:Java31

• kframework/X86-64-semantics

  Semantics of x86-64 in K

  Language:Assembly13711

• acl2/acl2

  ACL2 System and Books as Maintained by the Community

  Language:Common Lisp361100

• kframework/c-semantics

  Semantics of C in K

  Language:C30640

• PrincetonUniversity/VST

  Verified Software Toolchain

  Language:Coq43692

• project-everest/vale

  Verified Assembly Language for Everest

  Language:F#26720

• bakrianoo/aravec

  AraVec is a pre-trained distributed word representation (word embedding) open source project which aims to provide the Arabic NLP research community with free to use and powerful word embedding models.

  Language:Jupyter Notebook39178