Pinned Repositories
algorithm-d
Implementation of tree matching using Algorithm D
algorithm-d-ocaml
Implementation of "Pattern Matching in Trees", in OCaml.
ARMour
Elfex
Tiny attempt at a capstone-based disassembler
imp-compiler
Compiler for a variant of the "IMP" programming language
lr
An interactive tool for experimenting with LR(1) grammars
match
Match compilation algorithm in OCaml
qt5-cmake-template
A simple Qt5 CMake-based project template
xbdisasm
Small CLI XBDM remote memory disassembly tool
xbrpc
A cross-platform dynamic RPC front-end for exploited Xbox 360 consoles running xbrpc
contificate's Repositories
contificate/match
Match compilation algorithm in OCaml
contificate/lr
An interactive tool for experimenting with LR(1) grammars
contificate/Elfex
Tiny attempt at a capstone-based disassembler
contificate/algorithm-d
Implementation of tree matching using Algorithm D
contificate/algorithm-d-ocaml
Implementation of "Pattern Matching in Trees", in OCaml.
contificate/imp-compiler
Compiler for a variant of the "IMP" programming language
contificate/qt5-cmake-template
A simple Qt5 CMake-based project template
contificate/xbdisasm
Small CLI XBDM remote memory disassembly tool
contificate/xbrpc
A cross-platform dynamic RPC front-end for exploited Xbox 360 consoles running xbrpc
contificate/ARMour
contificate/bedrock2
A work-in-progress language and compiler for verified low-level programming
contificate/idiomanic
An attempt at a short book that strives to clarify things that I frequently find myself having to explain to people new to C++. This was initially a private repo to avoid scrutiny in early stages but, because I don't believe I'll ever finish this, I've made it public. Feel free to scrutinise the inaccuracies (there's a few).
contificate/OpenXDK
contificate/capstone
Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.
contificate/contificate
contificate/Droideus
The beginnings of a rather simple .apk file viewer
contificate/elf-strings
elf-strings will programmatically read an ELF binary's string sections within a given binary. This is meant to be much like the strings UNIX utility, however is purpose built for ELF binaries.
contificate/jAudit
College Graded Unit Project
contificate/jvm-fastcgi
Route fastcgi requests through a Java class
contificate/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.
contificate/obscurecolin
contificate/ocaml
The core OCaml system: compilers, runtime system, base libraries
contificate/xapi-project.github.io
Home of the Xapi-project docs site
contificate/xen-api
The Xapi Project's XenAPI Server
contificate/xenia
Xbox 360 Emulator Research Project
contificate/yaracpp
C++ wrapper for YARA.