Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

utpalbora Follow

Overview Repositories 40 Projects 0 Packages 0 Stars 29

More

Overview
Repositories
Projects
Packages
Stars

utpalbora

Follow

Utpal Bora utpalbora

Follow

PostDoc @CompArchCam Cambridge, Visiting Researcher @arm. Previously, Research scholar in Programming Languages and Compilers @IITH.

29 followers · 10 following

Cambridge
Cambridge
utpalbora.com
@utpal4060

Achievements

Achievements

Organizations

Block or report utpalbora

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 40 Projects 0 Packages 0 Stars 29

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All SCSS TeX C++ Shell JavaScript HTML Fortran C Python Coq CoffeeScript CSS Vim Script

Sort Last updated

Select order

Last updated Name Stars

compilers.cse.iith.ac.in Public

SCSS 1 4 Updated Sep 30, 2024
IITHThesis Public

Thesis template for IIT Hyderabad.

thesis-template phd-thesis ms-thesis iith thesis-latex-template

TeX 11 11 MIT License Updated May 9, 2023
LLOV Public

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

fortran llvm static-analysis openmp clang program-verification polly

C++ 20 4 Other Updated Oct 5, 2022
ACM-IEEE-template Public

ACM and IEEE LaTeX template.

TeX 1 MIT License Updated Sep 28, 2022
utpalbora Public
Forked from SamujjwalSam/SamujjwalSam

Github Profile page

Updated May 14, 2022
talks Public

Slides from my presentations

MIT License Updated Apr 30, 2022
SystemSetup Public

Scripts to Setup Ubuntu after fresh install.

dotfiles ubuntu script aio aptitude ubuntu-setup system-setup

Shell MIT License Updated Mar 5, 2022
dotfiles Public

dotfiles vimrc bashrc zshrc oh-my-zsh gitconfig byobu

Shell MIT License Updated Mar 5, 2022
noelle Public
Forked from arcana-lab/noelle

NOELLE Offers Empowering LLVM Extensions

C++ MIT License Updated Feb 23, 2022
build-flang Public

Scripts to compile LLVM Fortran frontend Flang

fortran llvm scripts build-automation flang

Shell Updated Apr 11, 2021
GoogleDrive-AppScripts-IITH Public

App Scripts to manipulate files in Google Drive.

JavaScript 1 MIT License Updated Mar 18, 2021
blog Public
Forked from StartBootstrap/startbootstrap-clean-blog-jekyll

A Jekyll version of the Clean Blog theme by Start Bootstrap

HTML MIT License Updated Nov 29, 2020
bash-shortcuts-cheat-sheet Public
Forked from fliptheweb/bash-shortcuts-cheat-sheet

Useful shortcuts for bash/zsh

Updated Nov 15, 2020
drb_fortran Public

DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools

fortran openmp program-verification llvm-ir race-detection data-race-detection dataracebench-fortran-kernels

Fortran 1 1 Other Updated May 28, 2020
OmpSCR_v2.0 Public

Clone of OmpSCR v2.0 with modifications

openmp shared-memory program-verification sword archer race-detection parallel-programming

Fortran 1 Other Updated May 16, 2020
llvm-docker Public

LLVM docker image with v11 projects pre-compiled in Debug mode with Assertions.

vim docker zsh binaries llvm clang debug

Updated Mar 11, 2020
CompilerEngg-Aug19-EvaluationScript Public

Shell Updated Dec 11, 2019
runsolver Public

Clone of runsolver v3.4.0 from http://www.cril.univ-artois.fr/~roussel/runsolver/

timeout memory-usage cpu-limit cpu-usage runsolver resident-segment-size program-timeout

C++ 2 5 Updated Oct 10, 2019
llvm-build Public
Forked from chandlerc/llvm-build

My personal cmake build shell scripts

llvm clang monorepo build-llvm

Shell Updated Sep 19, 2019
IITHUbuntuMirror Public

Scripts to use IITH local Ubuntu mirror.

linux open-source ubuntu iith ubuntu-mirror

Shell 1 MIT License Updated May 9, 2019
lesspass Public
Forked from lesspass/lesspass

🔑 stateless open source password manager

JavaScript GNU General Public License v3.0 Updated Apr 18, 2019
Firewall Public

Basic Firewall for Linux server

Shell 1 MIT License Updated Dec 30, 2018
InnermostLoopUnroller Public

C Updated Nov 28, 2018
linux Public
Forked from torvalds/linux

Linux kernel source tree

C Other Updated Sep 4, 2018
hpc-intro Public
Forked from carpentries-incubator/hpc-intro

Intro to HPC lesson materials - for July run in Leeds, UK

Python Other Updated Aug 28, 2018
uvbook Public

C Updated Jul 9, 2018
latex-course Public
Forked from jdleesmiller/latex-course

An interactive introduction to LaTeX using Overleaf.

TeX 1 Other Updated Jun 17, 2018
spring18 Public
Forked from mit-frap/spring18

Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018

Coq Updated May 9, 2018
Programming-Langauge-and-Operational-Semantics Public
Forked from Nerwo1100/Programming-Langauge-and-Operational-Semantics

Course notes

Updated May 5, 2018
top-github-users Public
Forked from paulmillr/top-github-users

GitHub top-1000 generation script

CoffeeScript Updated Dec 28, 2017

Previous Next

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.