ranweiler Goto Github PK

lalrpop

LR(1) parser generator for Rust

lean

Lean Theorem Prover

letsencrypt

This Let's Encrypt repo is an ACME client that can obtain certs and extensibly update server configurations (currently supports Apache on .deb based systems, nginx support coming soon)

lfsr-rs

liar

Flexible, stand-alone benchmarking

libfuzzer-dotnet

libFuzzer driver for SharpFuzz

libfuzzer-dotnet-windows-example

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

mafia

Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.

manticore

Symbolic execution tool

markdown-mode

Emacs Markdown Mode

mcsema

Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode

modern-cpp-features

A cheatsheet of modern C++ language and library features.

nix

Rust friendly bindings to *nix APIs

notify

🔭 Cross-platform filesystem notification library for Rust.

onefuzz

A self-hosted Fuzzing-As-A-Service platform

pete

A friendly wrapper around ptrace(2)

pete-debug

pwntools

CTF framework and exploit development library

radare2

unix-like reverse engineering framework and commandline tools

radare2-regressions

Regression Tests for the Radare2 Reverse Engineer's Debugger

remill

Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

rfcs

RFCs for changes to Rust

ring

Safe, fast, small crypto using Rust & BoringSSL's cryptography primitives.

rivertrail

An API for data parallelism in JavaScript

rust

A safe, concurrent, practical language.

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

rust-ctrlc

Easy Ctrl-C handler for Rust projects

rust-pam

A PAM binding in the Rust programming language, implemented by Tozny.

rust-tuf

Rust implementation of The Update Framework (TUF)