Sam Elliott's repositories
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.
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
vscode-pattern-links
A VS Code extension that turns text into links with regex patterns.
acle
Arm C Language Extensions (ACLE)
vsketch
Generative plotter art environment for Python
homebrew-versions
A custom homebrew tap for some formulae I've needed
memes
Useful Images
compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
infra
Infrastructure to set up the public Compiler Explorer instances and compilers
riscv-elf-psabi-doc
A RISC-V ELF psABI Document
misc-linters
Some Internal Linter Scripts
lowrisc-toolchains
UNSUPPORTED INTERNAL toolchain builds
rust
Empowering everyone to build reliable and efficient software.
checkedc-llvm
This 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-bounds memory accesses.
checkedc-clang
This 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-bounds memory accesses.
rosette-extras
A few extra utilities for Rosette.
cplex-template
An example of using CPLEX and Google Test to run MIP experiments from C++
checkedc
Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.
checkedc-llvm-test-suite
This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to benchmark the implementation of Checked C in clang/LLVM. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
checkedc-travis-builder
[Superseded] Build Scripts for Checked C
checkedc-lnt
Checked C fork of LLVM LNT repo.
idris-erlang
Erlang Backend for Idris Compiler
compiler-rt
Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.