Skip to content
View arunthomas's full-sized avatar

Organizations

@riscv

Block or report arunthomas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Bluespec BSV HLHDL tutorial

Bluespec 113 26 Updated Mar 29, 2016

The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course

Haskell 21 4 Updated Dec 1, 2017
Python 20 3 Updated Sep 25, 2017

Main repository for Harvard CS260r 2017.

Coq 12 3 Updated Apr 25, 2017

BibTeX bibliography files

TeX 4 Updated Sep 27, 2021

A binary authorization and monitoring system for macOS

Objective-C++ 4,515 288 Updated Feb 5, 2025

Utilities, tools, and scripts for managing and tracking a fleet of Macintoshes in a corporate environment

Python 824 84 Updated Jun 20, 2023

Platform Security Assessment Framework

Python 3,211 610 Updated Apr 8, 2026

▁▂▃▅▂▇ in your shell.

Shell 6,059 288 Updated May 7, 2022

A presenter console with multi-monitor support for PDF files.

Vala 1,804 124 Updated Sep 5, 2025

Metasploitable3 is a VM that is built from the ground up with a large amount of security vulnerabilities.

HTML 5,512 1,248 Updated Feb 13, 2025

The DrK Attack - Proof of concept

Python 348 65 Updated Mar 13, 2022
C 153 41 Updated Oct 18, 2018

The Rust Programming Language

Rust 17,627 3,993 Updated Feb 3, 2026

www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.

HTML 92 32 Updated Aug 17, 2017

ops-class.org OS/161 sources.

C 137 251 Updated Jul 9, 2020

A list of public penetration test reports published by several consulting firms and academic security groups.

HTML 9,494 2,153 Updated Mar 22, 2026

JavaScript Style Guide

JavaScript 148,106 26,731 Updated Feb 24, 2026

386BSD

C 650 127 Updated Dec 20, 2020

Tracing framework implementation for golang

Go 2 2 Updated Dec 10, 2016

Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing

Java 92 22 Updated Oct 4, 2022

BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.

Java 2,892 457 Updated Oct 23, 2020

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

C++ 2,768 347 Updated Apr 26, 2022

This is the archived S2E 1.0 repo. We do not maintain it anymore.

C 315 166 Updated Jun 25, 2020

Platform for Architecture-Neutral Dynamic Analysis

C 2,731 499 Updated Feb 14, 2026
JavaScript 2 2 Updated Oct 10, 2013

A generic starting template for writing research papers.

TeX 14 7 Updated Apr 19, 2019

Making GO reversing easier in IDA Pro

Python 660 121 Updated Jun 22, 2020

Diaphora, the most advanced Free and Open Source program diffing tool.

Python 4,237 408 Updated Nov 24, 2024

A curated list of awesome DTrace books, articles, videos, tools and resources.

Makefile 163 12 Updated Jul 21, 2017
Next