Pinned Repositories
alive2
Automatic verification of LLVM optimizations
peloton
The Self-Driving Database Management System
souper
A superoptimizer for LLVM IR
core
Read-only LibreOffice core repo - no pull request (use gerrit instead https://gerrit.libreoffice.org/) - don't download zip, use https://dev-www.libreoffice.org/bundles/ instead
online
Read-only Mirror - no pull request (use https://gerrit.libreoffice.org instead)
gist-cli
A command-line interface for posting github's Gists.
little-lang
compiler for silly, new programming language for fast bignum computations
nith-report
Latex Class file for NIT Hamirpur Report Format
pranavk.me
Website Source Code
spatial-computing
This repository contains LLVM compiler passes (for now) to convert a C/C++ program to PDM (a synthesizable dataflow intermediate representation)
pranavk's Repositories
pranavk/pranavk.me
Website Source Code
pranavk/nith-report
Latex Class file for NIT Hamirpur Report Format
pranavk/spatial-computing
This repository contains LLVM compiler passes (for now) to convert a C/C++ program to PDM (a synthesizable dataflow intermediate representation)
pranavk/modulo12
A modulo 12 counter implemented in SystemC using T Flip Flop
pranavk/llvm-ai
LLVM Abstract Interpreter
pranavk/lokdocviewer
An application for testing LOKDocView
pranavk/online
Read-only Mirror - no pull request
pranavk/little-lang
compiler for silly, new programming language for fast bignum computations
pranavk/abseil-cpp
Abseil Common Libraries (C++)
pranavk/alive2
pranavk/cpp-docs
C++ Documentation
pranavk/crash
pranavk/creduce
C-Reduce, a C program reducer
pranavk/cryptodev-linux
Cryptodev-linux is a Linux-kernel device that allows user-space access to hardware cryptographic accelerators.
pranavk/final
pranavk/gnome-documents
Documents
pranavk/Leaflet
:leaves: JavaScript library for mobile-friendly interactive maps
pranavk/llvm-dataflow-research
experimenting with better interval transfer functions for LLVM
pranavk/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
pranavk/llvm-transformation-pass
Template for an out-of-tree LLVM pass
pranavk/LoadCell
STM32F0 code for load cells - HX711
pranavk/peloton
The Self-Driving Database Management System
pranavk/richdocuments
pranavk/richdocuments-1
📔 Collabora Online for Nextcloud
pranavk/rr
Record and Replay Framework
pranavk/souper
A superoptimizer for LLVM IR
pranavk/tiny-language
silly programming language used for exercises in a compiler course
pranavk/visualstudio-docs
This repo is the home of the official Visual Studio, Visual Studio for Mac, Visual Studio Subscriptions, and Scripting Technologies documentation for Microsoft.
pranavk/vscode
Visual Studio Code
pranavk/xv6-cs6465-f19
xv6 OS