Fahad Ausaf's repositories
Language:JavaScript000
Language:Python000
Language:C000
Language:HTML000
Language:Python000
Language:HTML000
000
Language:Python000
Language:C000
Kaleidoscope
Implementing a Language with LLVM
Language:C++000
Language:Isabelle000
phd-thesis-template
A LaTeX / XeLaTeX / LuaLaTeX PhD thesis template for Cambridge University Engineering Department (CUED)
Language:TeXMIT000
Language:C000
Tiger_Compiler
Compiler based on the book exercises of Modern Compiler Implementation
Language:C000
HackerRank
HackerRank Solutions
Language:C++000
HashCode2019
Google HashCode 2019
Language:Python000
EPI
Programming Puzzles
Language:C++000
Compiler_CLR_DotNet
A compiler for a while-language written in C# that compiles to MSIL for CLR.Net with hand written lexer and recursive descent parser
Language:C#000
ML
Exercises from ML for a Working Programmer and other ML stuff
Language:Standard ML000
F-Star
Theorem Proving and Code Verification in F-Star
Language:OCaml000
Language:Scala000
Language:XSLT000
000