Giters
Carson (carsonharmon)

carsonharmon

Geek Repo

25

followers

36

following

135

stars

Location:New York City, NY

Github PK Tool:Github PK Tool

Organizations
squareup

Carson's starred repositories

act

Run your GitHub Actions locally 🚀

Language:GoLicense:MITStargazers:55341Issues:166Issues:1164

marktext

📝A simple and elegant markdown editor, available for Linux, macOS and Windows.

Language:JavaScriptLicense:MITStargazers:47404Issues:421Issues:2795

qemu

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Language:CLicense:NOASSERTIONStargazers:10423Issues:415Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10383Issues:181Issues:5530

lark

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Language:PythonLicense:MITStargazers:4907Issues:58Issues:916

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4859Issues:103Issues:10085

Deedy-Resume

A one page , two asymmetric column resume template in XeTeX that caters to an undergraduate Computer Science student

Language:TeXLicense:Apache-2.0Stargazers:4796Issues:89Issues:38

verona

Research programming language for concurrent ownership

Language:C++License:MITStargazers:3580Issues:109Issues:165

graphtage

A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.

Language:PythonLicense:LGPL-3.0Stargazers:2385Issues:51Issues:38

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. This fork is used to manage Apple’s stable releases of Clang as well as support the Swift project.

Language:LLVMLicense:NOASSERTIONStargazers:1102Issues:33Issues:406

openenclave

SDK for developing enclaves

Language:CLicense:MITStargazers:1067Issues:64Issues:1734

mull

Practical mutation testing and fault injection for C and C++

Language:C++License:Apache-2.0Stargazers:740Issues:29Issues:271

C-Cpp-Notes

Notes about modern C++, C++11, C++14 and C++17, Boost Libraries, ABI, foreign function interface and reference cards.

Language:C++Stargazers:721Issues:46Issues:2

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Language:RacketLicense:NOASSERTIONStargazers:641Issues:30Issues:144

polytracker

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Language:C++License:Apache-2.0Stargazers:533Issues:39Issues:155

practical-fm

A gently curated list of companies using verification formal methods in industry

Stargazers:502Issues:56Issues:9

chocolate_milk

Pure Rust x86_64 bootloader and kernel

Language:RustLicense:MITStargazers:488Issues:25Issues:12

k

K Framework Tools 7.0

Language:JavaLicense:BSD-3-ClauseStargazers:452Issues:38Issues:1219

ropium

ROPium is a tool that helps you building ROP exploits by finding and chaining gadgets together

Language:C++Stargazers:358Issues:12Issues:32

anvill

anvill forges beautiful LLVM bitcode out of raw machine code

Language:LLVMLicense:AGPL-3.0Stargazers:342Issues:26Issues:107

mothur

Welcome to the mothur project, initiated by Dr. Patrick Schloss and his software development team in the Department of Microbiology & Immunology at The University of Michigan. This project seeks to develop a single piece of open-source, expandable software to fill the bioinformatics needs of the microbial ecology community.

Language:C++License:GPL-3.0Stargazers:264Issues:34Issues:715

run-clang-format

A wrapper script around clang-format, suitable for linting multiple files and to use for continuous integration

Language:PythonLicense:MITStargazers:245Issues:7Issues:22

awesome-clang

Useful resources and samples for using Clang-related tools, or for building stuff on top of Clang.

Stargazers:224Issues:10Issues:0

microx

Safely execute an arbitrary x86 instruction

Language:C++License:Apache-2.0Stargazers:178Issues:31Issues:14

SaBRe

Load-time selective binary rewriting

Language:CLicense:NOASSERTIONStargazers:152Issues:10Issues:10

ccrawl

clang-based search engine for C/C++ data structures, classes, prototypes & macros

Language:PythonLicense:GPL-3.0Stargazers:101Issues:11Issues:2

hashashin

Hashashin: A Fuzzy Matching Tool for Binary Ninja

Language:Jupyter NotebookLicense:MITStargazers:87Issues:6Issues:2

libvirtcpuid

libvirtcpuid provides transparent CPUID virtualization, all in userspace.

Language:CLicense:NOASSERTIONStargazers:25Issues:5Issues:0

bdd

Binary decision diagrams in C, with an emphasis on correctness, clarity, and performance

Language:CLicense:MITStargazers:2Issues:1Issues:0

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptLicense:MITStargazers:1Issues:0Issues:0