llmstep: [L]LM proofstep suggestions in Lean 4.

Tool for data extraction and interacting with Lean programmatically.

Blazingly fast LLM inference.

Simple ctypes bindings for FUSE

An intrinsically-typed interpreter for WebAssembly

A WebAssembly implementation in Lean4

Implementation of common patterns used for NEAR smart contracts.

Serves historical NEAR data with some caching

A flexible tool for creating, organizing, and sharing visualizations of live, rich data. Supports Torch and Numpy.

Project HashClash - MD5 & SHA-1 cryptanalysis

CTF framework and exploit development library

Domain Specific Language for the Abstraction and Reasoning Corpus

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

🙌 OpenHands: Code Less, Make More

GPS Tracker app for iOS + WatchOS. Log your tracks without limits and share them; Open source GPX tracker app written in Swift

CompetiTest.nvim is a Neovim plugin for Competitive Programming: it can manage and check testcases, download problems and contests from online judges and much more

An incremental parsing system for programming tools

LLM training in simple, raw C/CUDA

Clean PyTorch implementations of imitation and reward learning algorithms

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

The Abstraction and Reasoning Corpus

The math library of Lean 4

🎄Starter template for solving Advent of Code in Rust.

Implementation of Flash Attention in Jax

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

🤖 A Telegram bot that integrates with OpenAI's official ChatGPT APIs to provide answers, written in Python

Subcommand to show result of macro expansion

Python implementations of cryptographic attacks and utilities.