Build AI Agents, Visually

Dafny is a verification-aware programming language

A TLA+ AutoRepair System For Formal Specification with GPT-4

InfoSec OpenAI Examples

A Python interface for reinforcement learning environments

A library of reinforcement learning components and agents

The Modular Platform (includes MAX & Mojo)

Examples and guides for using the OpenAI API

Splunk Event Generator: Eventgen

Python client for Cayley

OWASP Foundation Web Respository

Collection of KQL queries

Digging Deeper....

A forensics tool to convert the data in the Windows srum (System Resource Usage Monitor) database to an xlsx spreadsheet.

Fetch many paths for many hosts - without killing the hosts

Main game repository for Beyond All Reason.

Tsunami is a general purpose network security scanner with an extensible plugin system for detecting high severity vulnerabilities with high confidence.

A setuptools/wheel/cffi extension to embed a binary data in wheels

Corsair_scan is a security tool to test Cross-Origin Resource Sharing (CORS).

Unofficial mirror of git://sourceware.org/git/valgrind.git

Dapr SDK for Rust - Alpha

Neural Code Comprehension: A Learnable Representation of Code Semantics

Java Observability Toolkit

Some payloads of JNDI Injection in JDK 1.8.0_191+

Source Code for 'Practical TLA+' by Hillel Wayne

Framework for writing Linux kernel modules in safe Rust

Rust explained using easy English

A Python Interpreter written in Rust