Stars
- All languages
- AsciiDoc
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Circom
- Coq
- Cuda
- Cython
- D
- Dockerfile
- Elixir
- F#
- F*
- Fortran
- GAP
- GLSL
- Gherkin
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- MATLAB
- MDX
- MLIR
- Macaulay2
- Makefile
- Markdown
- Mathematica
- Nix
- OCaml
- OpenQASM
- PHP
- Perl
- PostScript
- PowerShell
- Pug
- Python
- Q#
- R
- Raku
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Shell
- Solidity
- Swift
- SystemVerilog
- TeX
- Tree-sitter Query
- TypeScript
- V
- VHDL
- Verilog
- XSLT
- Zig
Grid-Free Monte Carlo Solvers for Physics Simulations Involving Partial Differential Equations
Turn any technical book PDF into a Claude Code skill — ready to study, reference, and use while you work.
A Ghidra agentic reverse engineering skill.
DiffusionBlocks: Block-wise Neural Network Training via Diffusion Interpretation
SIA is a Self Improving AI framework to autonomously improve the performance of any AI system (Model / Agent) on a benchmark task.
A fast full-system simulator of Tenstorrent hardware
Main source code repository of the Tamarin prover for security protocol verification.
Cuda kernels for leveraging LLM sparsity to improve throughput and decrease the memory requirements during inference and training.
AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a querya…
A personal context store for AI agents and assistants—reuse your existing coding agent CLI (Codex/Claude/OpenCode) with built‑in Skills/tools and a desktop GUI to capture, search, and reuse project…
Paper: "Zero-shot World Models Are Developmentally Efficient Learners"
Source code for "Building Cryptographic Proofs from Hash Functions"
The official repository of "Position: Agentic Evolution is the Path to Evolving LLMs".
The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search
Sparse Transition Matrix-Accelerated Trie Index for Constrained Decoding (https://arxiv.org/abs/2602.22647)
LM engine is a library for pretraining/finetuning LLMs
Kaitai Struct: runtime for C++ using STL
AI agents running research on single-GPU nanochat training automatically
754 structured cybersecurity skills for AI agents · Mapped to 5 frameworks: MITRE ATT&CK, NIST CSF 2.0, MITRE ATLAS, D3FEND & NIST AI RMF · agentskills.io standard · Works with Claude Code, GitHub …
Vane is an AI-powered answering engine.
AI-Driven Scientific and Algorithmic Discovery