-
PhD Student
- https://alum.mit.edu/www/wrv/
-
simde Public
Forked from simd-everywhere/simdeImplementations of SIMD instruction sets for systems which don't natively support them.
C MIT License UpdatedSep 10, 2024 -
-
h26forge Public
Forked from h26forge/h26forgeDomain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.
Rust MIT License UpdatedJul 1, 2024 -
-
subspace Public
Forked from chromium/subspaceAn experimental take on a safer, simpler C++ standard library.
C++ Apache License 2.0 UpdatedFeb 29, 2024 -
rav1e Public
Forked from xiph/rav1eThe fastest and safest AV1 encoder.
Assembly BSD 2-Clause "Simplified" License UpdatedFeb 27, 2024 -
-
rlbox_wasm2c_sandbox Public
Forked from PLSysSec/rlbox_wasm2c_sandboxC MIT License UpdatedFeb 23, 2024 -
libwebp Public
Forked from webmproject/libwebpMirror only. Please do not send pull requests.
C BSD 3-Clause "New" or "Revised" License UpdatedFeb 21, 2024 -
wabt Public
Forked from WebAssembly/wabtThe WebAssembly Binary Toolkit
C++ Apache License 2.0 UpdatedDec 6, 2023 -
md4c Public
Forked from danakj/md4cC Markdown parser. Fast. SAX-like interface. Compliant to CommonMark specification.
C MIT License UpdatedNov 17, 2023 -
rlbox Public
Forked from PLSysSec/rlboxRLBox sandboxing framework
C++ MIT License UpdatedJul 26, 2023 -
h264-reader Public
Forked from dholroyd/h264-readerRust reader for H264 bitsream syntax
-
wasm_simd_c_examples Public
Basic examples of incorporating WASM SIMD into C
-
wasm2c_sandbox_compiler Public
Forked from PLSysSec/wasm2c_sandbox_compilerThe WebAssembly Binary Toolkit
C++ Apache License 2.0 UpdatedNov 21, 2022 -
r1cs-tutorial Public
Forked from arkworks-rs/r1cs-tutorialRust Apache License 2.0 UpdatedApr 26, 2021 -
cbench Public
Forked from cverified/cbenchA benchmark for C program verification
C UpdatedApr 1, 2019 -
-
ZoKrates Public
Forked from Zokrates/ZoKratesA toolbox for zkSNARKS on Ethereum
Rust UpdatedNov 26, 2017 -
libfss Public
Forked from frankw2/libfssLibrary for performing Function Secret Sharing (FSS)
C++ MIT License UpdatedSep 13, 2017 -
rlwe_challenger Public
Code to mess around with the rlwe challenges, and try to solve them
Protocol Buffer UpdatedNov 15, 2016 -
Lol Public
Forked from cpeikert/LolA library for ring-based lattice cryptography
Haskell UpdatedJul 16, 2016 -
fcf Public
Forked from adampetcher/fcfFoundational Cryptography Framework for machine-checked proofs of cryptography.
Coq Other UpdatedFeb 2, 2016 -
CircleSquareFuzzing Public
All the fuzzing material for the CircleSquare method
-
mylar Public
Forked from strikeout/mylarMylar - Transparent end-to-end encryption for Meteor JS
JavaScript Other UpdatedAug 28, 2015 -
-
-
-
-
CamDraw Public
An Android application that takes a picture, allows you to draw on it, and save it on the system. Very basic.
Java UpdatedApr 12, 2015