contificate/summary

A toy ASDL (Abstract Syntax Description Language) intended to make writing compilers in C less tedious.

Language: OCaml - Size: 9.77 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 3 - Forks: 0

contificate/match

Match compilation algorithm in OCaml

Language: OCaml - Size: 1.55 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 23 - Forks: 0

contificate/xen-api Fork of xapi-project/xen-api

The Xapi Project's XenAPI Server

Language: OCaml - Size: 72.7 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

contificate/ocaml.org Fork of ocaml/ocaml.org

The official OCaml website.

Size: 93.3 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

contificate/contificate

Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

contificate/OpenXDK Fork of XboxDev/OpenXDK

Language: C - Size: 25.3 MB - Last synced at: over 2 years ago - Pushed at: about 10 years ago - Stars: 1 - Forks: 0

contificate/llvm-project Fork of llvm/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.

Size: 2.25 GB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

contificate/xbrpc 📦

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

Language: C - Size: 392 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

contificate/algorithm-d-ocaml

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

Language: OCaml - Size: 58.6 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

contificate/jvm-fastcgi

Route fastcgi requests through a Java class

Language: C - Size: 94.7 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

contificate/algorithm-d

Implementation of tree matching using Algorithm D

Language: Java - Size: 25.4 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

contificate/imp-compiler

Compiler for a variant of the "IMP" programming language

Language: OCaml - Size: 445 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

contificate/lr

An interactive tool for experimenting with LR(1) grammars

Language: OCaml - Size: 464 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0

contificate/qt5-cmake-template

A simple Qt5 CMake-based project template

Language: C++ - Size: 224 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

contificate/capstone Fork of capstone-engine/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.

Size: 44.2 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

contificate/ocaml Fork of ocaml/ocaml

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

Size: 306 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

contificate/obscurecolin

Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

contificate/Elfex

Tiny attempt at a capstone-based disassembler

Language: C++ - Size: 30.3 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 5 - Forks: 2

contificate/xbdisasm

Small CLI XBDM remote memory disassembly tool

Language: C - Size: 155 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

contificate/ARMour

Language: C++ - Size: 12.7 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1

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

Language: TeX - Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

contificate/bedrock2 Fork of mit-plv/bedrock2

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

Size: 4.5 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

contificate/yaracpp Fork of avast/yaracpp

C++ wrapper for YARA.

Language: C++ - Size: 24.4 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

contificate/jAudit

College Graded Unit Project

Language: Java - Size: 1.99 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

contificate/xenia Fork of xenia-project/xenia

Xbox 360 Emulator Research Project

Language: C++ - Size: 18.7 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

contificate/elf-strings Fork of LloydLabs/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: Go - Size: 744 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

contificate/Droideus

The beginnings of a rather simple .apk file viewer

Language: C++ - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0