xvilka Goto Github PK

spp

simple preprocessor

static-analyser-in-rust

An experiment in using literate programming to write a static analysis tool in Rust

static-analysis

Static analysis tools for all programming languages, build tools, config files and more.

swipl

SWI-Prolog stable releases

swipl-devel

Main development repository

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

tctf.2017

tender.vim

A 24bit colorscheme for Vim, Airline and Lightline

terminals-are-sexy

💥 A curated list of Terminal frameworks, plugins & resources for CLI lovers.

texlab

An implementation of the Language Server Protocol for LaTeX

tree-sitter

An incremental parsing system for programming tools

tree-sitter-c

C grammar for tree-sitter

tree-sitter-cpp

C++ grammar for tree-sitter

tree-sitter-ocaml

OCaml grammar for tree-sitter

triton

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

ts-ctypes

WIP C/C++ parser for Rizin

tup

Tup is a file-based build system.

uefireverse

Tools to help with Reverse Engineering UEFI-based firmware

utop

Universal toplevel for OCaml

valabind

create bindings from vapi to nodejs, python, swig, c++

vifm.vim

Vim plugin that allows use of vifm as a file picker

vim

The official Vim repository

vim-ocaml

Vim runtime files for OCaml

vim-orgmode

Text outlining and task management for Vim based on Emacs' Org-Mode

vim-repeat

repeat.vim: enable repeating supported plugin maps with "."

void-packages

The Void source packages collection

xvilka.github.com

xvilka.github.com

yaml-rust

A pure rust YAML implementation.

yara-ocaml

OCaml bindings for YARA

z3

The Z3 Theorem Prover