CUDA Library Samples

SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…

Playing Pokemon Red with Reinforcement Learning

Leaked Mirai Source Code for Research/IoC Development Purposes

Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)

Tutorial on neural theorem proving

Retro Games in Gym

A Python library to interact with the XRP Ledger (XRPL) blockchain

Lean 3 Theorem Prover (community fork)

Flash OS images to SD cards & USB drives, safely and easily.

Benchmark for undergraduate-level formal mathematics

Retrieval-Augmented Theorem Provers for Lean

Tool for data extraction and interacting with Lean programmatically.

Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

Ligra: A Lightweight Graph Processing Framework for Shared Memory

Decentralized pool for Monero mining

GraphMineSuite (GMS): a benchmarking suite for graph mining algorithms such as graph pattern matching or graph learning

Online demo without installing at - https://buildit.so/tryit

A free and strong UCI chess engine

An uroboros program with 100+ programming languages

An XRP Ledger API Server

A list of upcoming hackathons from around the world.