xvilka Goto Github PK

c-capnproto

C library/compiler for the Cap'n Proto serialization/RPC protocol

c55xde

C55x d'asm engine

camlboot

Experiment on how to bootstrap the OCaml compiler

camomile

A Unicode library for OCaml

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml, PowerShell)

catch2

A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

cce

commandline compiler explorer - use https://godbolt.org from your terminal!

cctools-port

Apple cctools port for Linux and *BSD

cheatsheets

random brain dumps

cheatsheets-1

My cheatsheets

coccinelle

Source code of the Coccinelle project

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.

coq-syntax

syntax colouring for coq files

coqine

A Coq plugin to translate Coq proofs into Dedukti terms.

coquille

Interactive theorem proving with Coq in vim.

coreboot

coreboot port for Vortex86

cparse

Parser of C-syntax data definitions, C-syntax function definitions

cryptomobile

Cryptography for mobile network - C implementation and Python bindings

cwe_checker

cwe_checker finds vulnerable patterns in binary executables

ddisasm

Datalog driven disassembly of binary executables

debian-oldies

Docker images to build and test Rizin reverse engineering framework and a toolset.

decompress

Pure OCaml implementation of Zlib.

dedukti

Implementation of the λΠ-calculus modulo rewriting

degate

Open source software for chip reverse engineering.

diaphora

Diaphora, a Free and Open Source program diffing tool

docker-asciinema

elpi

Embeddable Lambda Prolog Interpreter

emu8051

8051/8052 emulator with curses-based UI

ext4-rs

Read files directly from ext4 filesystem images

facebook-clang-plugins

Plugins to clang-analyzer and clang-frontend