GitHub / cdisselkoen
Total Commits: 151
PLSysSec/haybale-pitchfork
Commits: 233
cedar-policy/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
Commits: 138
cdisselkoen/llvm-ir-taint
Commits: 96
cdisselkoen/llvm-ir-analysis
Commits: 51
shravanrn/librarysandboxing
Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the production version of rlbox, go to rlbox.dev
Commits: 14
prove-rs/z3.rs
Commits: 11
cedar-policy/cedar-examples
Some examples of using the Cedar language to specify authorization
Commits: 11
docker/Amethyst
Commits: 10
lunandd/inkwell
Commits: 6
jamesmth/inkwell
Commits: 6
cdisselkoen/llvm-sys-featured
Commits: 5
angr/angr-doc
Commits: 5
cdisselkoen/kaleidoscope-led-letterguesser
Kaleidoscope plugin creating an LED 'LetterGuesser' effect.
Commits: 5
fatemender/boolector-sys
Commits: 3
binaryanalysisplatform/frontc
Commits: 3
openhwgroup/corev-llvm-project
Commits: 2
oneapi-src/syclomatic
Commits: 2
rustwasm/wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
Commits: 2
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Commits: 2
servo/servo
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Commits: 2
servo/servo
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Commits: 2
waydroid/android_external_llvm-project
Commits: 2
checkedc/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 lets programmers write C code that is guaranteed by the compiler to be type-safe.
Commits: 2
flang-compiler/classic-flang-llvm-project
LLVM monorepo for integration with classic flang
Commits: 2
compiler-research/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.
Commits: 2
trisycl/sycl
SYCL for Vitis: Experimental fusion of triSYCL with Intel SYCL oneAPI DPC++ up-streaming effort into Clang/LLVM
Commits: 2
jjochen/atreus-firmware
Commits: 2
ROCm/rocMLIR
Commits: 2
dwb/model01-firmware
Commits: 2
llvm/llvm-project-staging
Staging repository for https://github.com/llvm/llvm-project. Used for official contributions to the LLVM project that LLVM contributors will collaboratively split up for regular patch review.
Commits: 2
llvm/llvm-project-staging
Staging repository for https://github.com/llvm/llvm-project. Used for official contributions to the LLVM project that LLVM contributors will collaboratively split up for regular patch review.
Commits: 2
llvm/llvm-project-release-prs
Repository for pull requests used for testing release branch backports in llvm/llvm-project
Commits: 2
ajohnson-uoregon/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.
Commits: 2
ajohnson-uoregon/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.
Commits: 2
wasm-bindgen/wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
Commits: 2
bytecodealliance/wasip3-prototyping
Fork of wasmtime for protoyping WASIp3 work and coordination, not intended for any production use case, purely for development
Commits: 1
SAP/project-foxhound
A web browser with dynamic data-flow tracking enabled in the Javascript engine and DOM, based on Mozilla Firefox (https://github.com/mozilla/gecko-dev). It can be used to identify insecure data flows or data privacy leaks in client-side web applications.
Commits: 1
awslabs/aws-lambda-rust-runtime
Commits: 1
bytecodealliance/sightglass
A benchmark suite and tool to compare different implementations of the same primitives.
Commits: 1
aws/aws-lambda-rust-runtime
Commits: 1
PLSysSec/haskell-boolector
Commits: 1
i3roly/firefox-dynasty
haters puttin' a wrap on us, callin' it a legacy, we keep showin' what the fuss, call it a dynasty
Commits: 1
bytecodealliance/wasmtime
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Commits: 1
frankyang0529/wasmtime
Commits: 1
mozilla/gecko-dev
DEPRECATED by https://github.com/mozilla-firefox/firefox. Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org
Commits: 1
cedar-policy/cedar-for-agents
Commits: 1
jtracey/servo-mirror
Commits: 1
mykmelez/gecko
Commits: 1
cedar-policy/cedar-integration-tests
Commits: 1