Pinned Repositories
abis
Big List of ABI Resources
animated-wookie
Tagged Reliable Causal Broadcast Prototype
cs4414-project
An Implementation of Raft in Rust
idris-erlang
Erlang Backend for Idris Compiler
ironmaster
[Deprecated] An Erlang server management app.
kb
A Public Knowledge Base
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
lenary's Repositories
lenary/abis
Big List of ABI Resources
lenary/sat
lenary/fictional-guide
lenary/opentitan
OpenTitan: Open source silicon root of trust
lenary/acle
Arm C Language Extensions (ACLE)
lenary/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.
lenary/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.
lenary/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.
lenary/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.
lenary/checkedc-lnt
Checked C fork of LLVM LNT repo.
lenary/checkedc-travis-builder
[Superseded] Build Scripts for Checked C
lenary/clang-builder
lenary/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
lenary/cplex-template
An example of using CPLEX and Google Test to run MIP experiments from C++
lenary/gcc-cross-builder
lenary/homebrew-versions
A custom homebrew tap for some formulae I've needed
lenary/infra
Infrastructure to set up the public Compiler Explorer instances and compilers
lenary/lenary
lenary/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.
lenary/lowrisc-toolchains
UNSUPPORTED INTERNAL toolchain builds
lenary/memes
Useful Images
lenary/misc-linters
Some Internal Linter Scripts
lenary/riscv-c-api-doc
Documentation of the RISC-V C API
lenary/riscv-elf-psabi-doc
A RISC-V ELF psABI Document
lenary/riscv-toolchain-conventions
Documenting the expected behaviour and supported command-line switches for GNU and LLVM based RISC-V toolchains
lenary/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
lenary/rosette-extras
A few extra utilities for Rosette.
lenary/rust
Empowering everyone to build reliable and efficient software.
lenary/vscode-pattern-links
A VS Code extension that turns text into links with regex patterns.
lenary/vsketch
Generative plotter art environment for Python