bradlarsen

Brad Larsen's repositories

vectorscan-rs

Rust bindings to the Vectorscan high-performance regex library

Language:RustApache-2.05 20

bdd

Binary decision diagrams in C, with an emphasis on correctness, clarity, and performance

Language:CMIT2 10

switchback

Code for the experiments in the AAAI-10 paper "Searching Without a Heuristic: Efficient Use of Abstraction" by Bradford Larsen, Ethan Burns, Wheeler Ruml, and Robert C. Holte

Language:C++BSD-3-Clause2 10

zauber

A reimagining of `file` and `libmagic` in Rust

Language:RustApache-2.02 30

bradlarsen

My personal repository, to provide a profile README.md

1 20

cpython

The Python programming language

Language:PythonNOASSERTION1 10

hs-cudd

Haskell bindings to CUDD, the CU Decision Diagram Package

Language:CBSD-3-Clause1 10

ale

Asynchronous linting/fixing for Vim and language server protocol integration

Language:Vim ScriptBSD-2-Clause010

ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

Language:HaskellNOASSERTION010

ghcid

Very low feature GHCi based IDE

Language:HaskellBSD-3-Clause000

chariot-client

A do-it-all binary for the Chariot offensive security platform

MIT000

duckdb

DuckDB is an analytical in-process SQL database management system

Language:C++MIT000

gokart

A static analysis tool for securing Go code

Language:GoApache-2.0010

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

Language:RubyBSD-2-Clause010

intero-neovim

A neovim plugin for Intero, forked from ghcmod-vim

Language:Vim script010

macports-ports

The MacPorts ports tree

Language:TclNOASSERTION010

notes-on-secrets

Notes on secrets detection, secrets-related breaches, etc

030

rust-hyperscan

Hyperscan bindings for Rust with Multiple Pattern and Streaming Scan

Language:Rust010

serve

Serve, optimize and scale PyTorch models in production

Language:JavaApache-2.0010

static-analysis

⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.

Language:RustMIT000

vectorscan

A portable fork of the high-performance regular expression matching library

Language:C++NOASSERTION010