Colin (contificate)

contificate

Geek Repo

0

followers

0

following

0

stars

Location:Cambridge, UK

Home Page:https://compiler.club

Twitter:@contificate

Github PK Tool:Github PK Tool

Colin's repositories

match

Match compilation algorithm in OCaml

Language:OCamlStargazers:19Issues:2Issues:0

lr

An interactive tool for experimenting with LR(1) grammars

Language:OCamlStargazers:11Issues:1Issues:0

Elfex

Tiny attempt at a capstone-based disassembler

Language:C++Stargazers:5Issues:1Issues:0

algorithm-d

Implementation of tree matching using Algorithm D

Language:JavaStargazers:4Issues:1Issues:0

algorithm-d-ocaml

Implementation of "Pattern Matching in Trees", in OCaml.

imp-compiler

Compiler for a variant of the "IMP" programming language

Language:OCamlStargazers:3Issues:1Issues:0

qt5-cmake-template

A simple Qt5 CMake-based project template

Language:C++Stargazers:3Issues:0Issues:0

xbdisasm

Small CLI XBDM remote memory disassembly tool

Language:CStargazers:2Issues:1Issues:0

xbrpc

A cross-platform dynamic RPC front-end for exploited Xbox 360 consoles running xbrpc

Language:CStargazers:2Issues:2Issues:0
Language:C++Stargazers:1Issues:1Issues:0

bedrock2

A work-in-progress language and compiler for verified low-level programming

Language:CoqLicense:MITStargazers:1Issues:0Issues:0

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).

Language:TeXStargazers:1Issues:1Issues:0
Language:CLicense:GPL-2.0Stargazers:1Issues:0Issues:0

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.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

Droideus

The beginnings of a rather simple .apk file viewer

Language:C++Stargazers:0Issues:1Issues:0

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.

Language:GoStargazers:0Issues:1Issues:0

jAudit

College Graded Unit Project

Language:JavaStargazers:0Issues:1Issues:0

jvm-fastcgi

Route fastcgi requests through a Java class

Language:CStargazers:0Issues:0Issues:0

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.

License:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

xapi-project.github.io

Home of the Xapi-project docs site

Stargazers:0Issues:0Issues:0

xen-api

The Xapi Project's XenAPI Server

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

xenia

Xbox 360 Emulator Research Project

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

yaracpp

C++ wrapper for YARA.

Language:C++License:MITStargazers:0Issues:1Issues:0