divyeshunadkat

divyeshunadkat's Stars

• jlevy/the-art-of-command-line

  Master the command line, in one page

  154k2.8k25414.6k

• academicpages/academicpages.github.io

  Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

  Language:JavaScript12.9k9237644.9k

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML11.8k2859411.4k

• coala/coala

  coala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.

  Language:Python3.6k1003k1.3k

• banach-space/llvm-tutor

  A collection of out-of-tree LLVM passes for teaching and learning

  Language:C++3k5561395

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2.8k62234196

• xdanaux/moderncv

  A modern curriculum vitae class for LaTeX

  Language:TeX1.8k4675566

• INRIA/spoon

  Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

  Language:Java1.8k591.7k353

• mszep/pandoc_resume

  The Markdown Resume

  Language:TeX1.7k2450758

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.5k56613438

• lifting-bits/remill

  Library for lifting machine code to LLVM bitcode

  Language:C++1.3k63248146

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1.1k362.6k237

• secure-software-engineering/phasar

  A LLVM-based static analysis framework.

  Language:C++95230187142

• circulosmeos/gdown.pl

  Google Drive direct download of big files

  Language:Perl9372019196

• AliveToolkit/alive2

  Automatic verification of LLVM optimizations

  Language:C++83723505111

• banach-space/clang-tutor

  A collection of out-of-tree Clang plugins for teaching and learning

  Language:C++714201764

• RunestoneInteractive/RunestoneServer

  Interactive books for computer science and mathematics

  Language:C++577391.3k502

• trailofbits/polytracker

  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

  Language:C++5413815645

• lifting-bits/anvill

  anvill forges beautiful LLVM bitcode out of raw machine code

  Language:LLVM3452510739

• vinaysomawat/vinaysomawat.github.io

  A cutting-edge portfolio web page utilizing vanilla JavaScript.

  Language:CSS3211130376

• SVF-tools/Teaching-Software-Analysis

  Teaching and Learning Software Analysis via SVF

  Language:C++196248116

• wncc/CodeInQuarantine

  Language:Jupyter Notebook11527084

• wncc/learners-space

  This repository contains all the content for these courses to be covered in Learner's Space -

  Language:Jupyter Notebook8422193

• SaswatPadhi/LoopInvGen

  Generates loop invariants for program verification

  Language:OCaml596520

• pointer-authentication/parts-llvm

  PARTS / LLVM compiler

  Language:LLVM31117

• jvstech/llvm-toolchain

  Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.html

  Language:CMake191123

• mattulbrich/llreve

  Automatic regression verification for LLVM programs

  Language:C++1910216

• jyao15/G-CLN

  Language:Roff12128

• pointer-authentication/pacstack-llvm

  PACStack implementation built on the LLVM Compiler Infrastructure.

  Language:C++9104

• gleiss/rapid

  Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.

  Language:C++32156