-
llvm-project 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…
LLVM Other UpdatedMar 7, 2025 -
riscv-toolchain-conventions Public
Forked from riscv-non-isa/riscv-toolchain-conventionsDocumenting the expected behaviour and supported command-line switches for GNU and LLVM based RISC-V toolchains
Makefile Creative Commons Attribution 4.0 International UpdatedFeb 27, 2025 -
riscv-asm-manual Public
Forked from riscv-non-isa/riscv-asm-manualRISC-V Assembly Programmer's Manual
Makefile Creative Commons Attribution 4.0 International UpdatedFeb 13, 2025 -
riscv-c-api-doc Public
Forked from riscv-non-isa/riscv-c-api-docDocumentation of the RISC-V C API
Makefile Creative Commons Attribution 4.0 International UpdatedJan 23, 2025 -
riscv-elf-psabi-doc Public
Forked from riscv-non-isa/riscv-elf-psabi-docA RISC-V ELF psABI Document
Python Creative Commons Attribution 4.0 International UpdatedJan 21, 2025 -
-
-
-
rosette Public
Forked from emina/rosetteThe Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket Other UpdatedJun 27, 2024 -
vscode-pattern-links Public
Forked from dlevs/vscode-pattern-linksA VS Code extension that turns text into links with regex patterns.
TypeScript UpdatedFeb 11, 2024 -
acle Public
Forked from ARM-software/acleArm C Language Extensions (ACLE)
Python Other UpdatedJan 25, 2023 -
vsketch Public
Forked from abey79/vsketchGenerative plotter art environment for Python
Python Other UpdatedApr 19, 2022 -
-
-
opentitan Public
Forked from lowRISC/opentitanOpenTitan: Open source silicon root of trust
-
compiler-explorer Public
Forked from compiler-explorer/compiler-explorerRun compilers interactively from your web browser and interact with the assembly
Assembly BSD 2-Clause "Simplified" License UpdatedFeb 20, 2021 -
-
clang-builder Public
Forked from compiler-explorer/clang-builderShell BSD 2-Clause "Simplified" License UpdatedJan 20, 2021 -
infra Public
Forked from compiler-explorer/infraInfrastructure to set up the public Compiler Explorer instances and compilers
Python BSD 2-Clause "Simplified" License UpdatedJan 20, 2021 -
-
misc-linters Public
Forked from lowRISC/misc-lintersSome Internal Linter Scripts
Python Apache License 2.0 UpdatedNov 23, 2020 -
gcc-cross-builder Public
Forked from compiler-explorer/gcc-cross-builderShell BSD 2-Clause "Simplified" License UpdatedNov 17, 2020 -
lowrisc-toolchains Public
Forked from lowRISC/lowrisc-toolchainsUNSUPPORTED INTERNAL toolchain builds
Shell UpdatedNov 10, 2020 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedJun 17, 2020 -
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…
LLVM Other UpdatedFeb 19, 2019 -
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…
C++ Other UpdatedFeb 19, 2019 -
rosette-extras Public
A few extra utilities for Rosette.
Racket BSD 3-Clause "New" or "Revised" License UpdatedMay 31, 2018 -
cplex-template Public
An example of using CPLEX and Google Test to run MIP experiments from C++
C++ BSD 3-Clause "New" or "Revised" License UpdatedApr 25, 2018 -
checkedc Public
Forked from checkedc/checkedcChecked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.
C Other UpdatedJan 22, 2018 -
checkedc-llvm-test-suite Public
Forked from microsoft/checkedc-llvm-test-suiteThis 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…
C Other UpdatedNov 17, 2017