oblivia-simplex Goto Github PK

cl-unicorn

Common Lisp bindings for the Unicorn emulation engine (www.unicorn-engine.org)

clamav-bytecode-compiler

ClamAV ByteCode Compiler

clamav-devel

ClamAV Development - FAQ is here: https://github.com/Cisco-Talos/clamav-faq

clamav-fuzz

A fuzz job for ClamAV

cmoskit

cmospwd

CmosPwd - Cross-platform tool to decrypt password stored in CMOS used to access a computer’s BIOS setup.

cockatrice.jl

Tools and data structures for designing genetic programming systems

configs

corvus

Low-level Lisp for LLVM

crc-tool

cryptopals

solutions to the cryptopals challenges, eventually

ctmodbus

A tool to interact with the Modbus protocols

dark-beamer-theme

A beautiful dark beamer theme

db-project

a rinky dink demo of SQL injection vulns

debasa-os

just following the Rust OS tutorial over at http://os.phil-opp.com/

deprecated-refusr-repo

Reverse engineering functions using symbolic regression

diceroller

A super-simple little dice-rolling command line utility, for the days your polyhedra are missing.

dispel

Disassembler for 65816/SNES rom images.

dom0-utils

a collection of convenience scripts for Qubes, mostly intended to be run from dom0.

dotfiles

dotfiles

emacs-nasl

emacs.d

My emacs config

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

evmasm

An Ethereum bytecode assembler, written in lisp. In alpha. Use at your own risk.

evmverif

An EVM code verification framework in Coq

falcon

Binary Analysis Framework in Rust

fasteval

Fast and safe evaluation of algebraic expressions

firmadyne

System for emulation and dynamic analysis of Linux-based firmware

flow-labeller

forced-evolution

forced-evolution