-
must-read Public
Lists of must-read papers (mainly security papers)
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedSep 18, 2024 -
checkedc-safe-mm-misc Public
Miscellaneous stuff for the Checked C Temporal Memory Safety Project
-
srust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedDec 1, 2023 -
-
checkedc Public
Forked from checkedc/checkedcChecked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sampl…
-
test-suite Public
Forked from llvm-mirror/test-suiteMirror of official llvm git repository located at http://llvm.org/git/test-suite. Updated every five minutes.
Logos Other UpdatedDec 30, 2022 -
checkedc-llvm Public
Forked from microsoft/checkedc-llvmThis repo contains a version of the LLVM that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of…
-
-
checkedc-clang Public
Forked from checkedc/checkedc-clangThis repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bo…
-
llvm-analysis Public
This repository contains an LLVM compiler for analyzing programs.
C++ UpdatedJul 8, 2022 -
Rust-Menagerie Public
Contains materials about the Rust Programming Language
-
-
EncNVM Public
Forked from llvm/llvm-projectThe 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…
C++ UpdatedApr 19, 2020 -
-
llvm Public
Forked from llvm-mirror/llvmMirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
LLVM Other UpdatedFeb 19, 2019 -
-
-
priv_analysis Public
Forked from jtcriswell/priv_analysisAn LLVM pass for program privilege analysis
C++ GNU General Public License v3.0 UpdatedJul 28, 2015
{{ message }}