DARPA Cyber Grand Challenge Sample Challenges

Go bindings for osquery

SQL powered operating system instrumentation, monitoring, and analytics.

Code auditing productivity multiplier.

A mutation-based tool for finding bugs in tests

Prototype implementations for a more compile-time efficient flowgraph API

Lenia - Mathematical Life Forms

Packj stops ⚡ Solarwinds-, ESLint-, and PyTorch-like attacks by flagging malicious/vulnerable open-source dependencies ("weak links") in your software supply-chain

concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit

A toolkit for building secure, portable and lean operating systems for containers

Guide to Python's magic methods

Apps for running with the rumprun unikernel on seL4.

Build and share data reports in 100% Python

implementations of a counting bloom, a timing bloom and a scaling timing bloom... made for working with streams!

Fast Python Bloom Filter using Mmap

Fast Python Bloom Filter using Mmap

Generate a Go ORM tailored to your database schema.

Count your code, quickly.

Open source SDR 4G software suite from Software Radio Systems (SRS) https://docs.srsran.com/projects/4g

Linux-CAN / SocketCAN user space applications

A mirror of the original SocketCAN SVN repository

Assorted Jupyter notebooks by Daniel Estévez

Tools for GNU Radio interferometry at Allen Telescope Array

lbuild: a generic, modular code generator in Python 3

Bitcoin Improvement Proposals

A Framework for Generating and Executing Digital Twins

A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.

Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol

Computing reachable states of dynamical systems in Julia