Pinned Repositories
souper
A superoptimizer for LLVM IR
alive2
free-programming-books
graph
Graph Library for Spider Framework
little
llai
Simple abstract interpreter for LLVM IR
minlisp
A minimal Interpreter of a lisp-like script, written in C++.
pedant
Pedant is a clang tool for catching inconsistent identifier names in your code.
spider
Graph Framework
cling
The interactive C++ interpreter Cling
manasij7479's Repositories
manasij7479/graph
Graph Library for Spider Framework
manasij7479/spider
Graph Framework
manasij7479/alive2
manasij7479/free-programming-books
manasij7479/llai
Simple abstract interpreter for LLVM IR
manasij7479/pedant
Pedant is a clang tool for catching inconsistent identifier names in your code.
manasij7479/little
manasij7479/opt-refute
WIP
manasij7479/parallel-sat-papers
manasij7479/simple-chdev
manasij7479/souper
A superoptimizer for LLVM IR
manasij7479/2ls
manasij7479/autofdo
AutoFDO
manasij7479/basket
BasKet Note Pads - an system for organizing information in KDE.
manasij7479/cbmc
manasij7479/clang-tools-extra
Mirror of official clang-tools-extra git repository located at http://llvm.org/git/clang-tools-extra. Updated every five minutes.
manasij7479/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
manasij7479/cssjit
manasij7479/generalization-examples-llvm-issues
manasij7479/hasnake
Simple snake game I am making to learn Haskell properly
manasij7479/llvm-project
manasij7479/manasij7479.github.io
Personal Website
manasij7479/Parser-Combinators
C++ parser combinator library
manasij7479/Prattle
A simple chat program written using C++ and SFML
manasij7479/Reducio
Map-Reduce for Kids!
manasij7479/smt-mini-project
Generate weakest precondition from a straight line program.
manasij7479/spider-compiler
Compiler for Spider Framework
manasij7479/tiny-language
silly programming language used for exercises in a compiler course
manasij7479/universe
manasij7479/z3-partial-order