- West Lafayette, IN, USA
- https://machiry.github.io/
- @machiry_msidc
Highlights
- Pro
-
-
aws-neuron-driver Public
Forked from aws-neuron/aws-neuron-driverLinux kernel device driver supporting AWS Neuron SDK
C GNU General Public License v2.0 UpdatedDec 23, 2024 -
wcsng-new.github.io Public
Forked from dineshb-ucsd/wcsng-new.github.io💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
SCSS MIT License UpdatedAug 2, 2024 -
So-Called-Science Public
Forked from morethanmin/morethan-log😎 A static blog using notion database
TypeScript MIT License UpdatedJun 9, 2024 -
checkedc-llvm-project Public
Forked from checkedc/checkedc-llvm-projectThis 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.
UpdatedApr 14, 2024 -
sec-deadlines.github.io Public
Forked from sec-deadlines/sec-deadlines.github.ioDeadline countdowns for academic conferences in Security and Privacy
-
corosync Public
Forked from corosync/corosyncThe Corosync Cluster Engine
C Other UpdatedNov 4, 2023 -
rsync-bpc Public
Forked from backuppc/rsync-bpcRsync-bpc is a customized version of rsync that is used as part of BackupPC
C GNU General Public License v3.0 UpdatedNov 4, 2023 -
-
Vitis-Tutorials Public
Forked from Xilinx/Vitis-TutorialsVitis In-Depth Tutorials
C Other UpdatedMay 23, 2023 -
-
learning-uefi-edkII Public
Forked from tianocore/edk2Learning with my comments.
-
checkedc-rlbox-paper Public
Forked from plum-umd/checkedcContributions to Microsoft's Checked C project developed by PLUMmers
Coq UpdatedNov 22, 2022 -
bar2023.github.io Public
Forked from bar2023/bar2023.github.ioHome of the 2023 NDSS Workshop on Binary Analysis Research
HTML UpdatedNov 9, 2022 -
bar-2022.github.io Public
Forked from bar-2022/bar-2022.github.ioBAR 2022 Public Website
SCSS UpdatedApr 24, 2022 -
rich Public
Forked from Textualize/richRich is a Python library for rich text and beautiful formatting in the terminal.
Python MIT License UpdatedFeb 13, 2022 -
testC Public
Forked from Vedaant-Rajoo/testCThis repository contains file diff for legacy C code and CheckedC code. For basic programs in Arrays, Structs, Graph, Flow etc. algorti
C MIT License UpdatedFeb 11, 2022 -
-
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 lets programmers write C code that is guaranteed by the compiler to be type-safe.
UpdatedJan 21, 2022 -
HSS2021-ece695 Public
Forked from ksarada/ece695SpikeAttack implementation for ECE695 project
Python UpdatedDec 13, 2021 -
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
C Apache License 2.0 UpdatedNov 22, 2021 -
unifdef Public
Forked from fanf2/unifdefselectively remove C preprocessor conditionals
C Other UpdatedOct 19, 2021 -
gef-extras Public
Forked from hugsy/gef-extrasExtra goodies for GEF: Open repository for unfiltered contributions to the project.
Python MIT License UpdatedOct 2, 2021 -
hssllvmsetup Public
Forked from purs3lab/hssllvmsetupSetup scripts to install and configure LLVM
C++ BSD 2-Clause "Simplified" License UpdatedSep 14, 2021 -
-
academicpages.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
-
dwarfwrite Public
Forked from rhelmot/dwarfwriteLibrary for dumping arbitrary python objects into DWARF format
-
onefuzz Public
Forked from microsoft/onefuzzA self-hosted Fuzzing-As-A-Service platform
Rust MIT License UpdatedOct 9, 2020 -
-
phasar Public
Forked from secure-software-engineering/phasarA LLVM-based static analysis framework.
C++ Other UpdatedAug 29, 2020