Stars
- All languages
- Assembly
- Awk
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- D
- Dockerfile
- Elixir
- Emacs Lisp
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- OCaml
- Objective-C
- OpenSCAD
- PHP
- Perl
- Protocol Buffer
- PureScript
- Python
- Ruby
- Rust
- Sage
- Shell
- Solidity
- SourcePawn
- Swift
- TeX
- TypeScript
- Verilog
- WebAssembly
- Wikitext
- XSLT
- hoon
Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
Give your coding agent eyes and ears in your editor
Tools for developing and optimizing background agents.
Seiferas's simplified construction of the AKS O(log n) depth sorting network, formalised in Lean
NVIDIA Infra Controller - Hardware Lifecycle Management and multitenant networking
The official implementation of the paper "AgentDyn: Are Your Agent Security Defenses Deployable in Real-World Dynamic Environments?"
An implementation of the Nvidia's Parakeet models for Apple Silicon using MLX.
Our library for RL environments + evals
Storing long contexts in tiny caches with self-study
Helpful tools and examples for working with flex-attention
Embeddable vector database for Go with Chroma-like interface and zero third-party dependencies. In-memory with optional persistence.
A Massive Multi-Discipline Lecture Understanding Benchmark
Provides the same proxy OpenAI API interface for different LLM models, and supports deployment to any Edge Runtime environment.
Sparsify transformers with SAEs and transcoders
A JAX research toolkit for building, editing, and visualizing neural networks.
Lightweight coding agent that runs in your terminal
TextAttack 🐙 is a Python framework for adversarial attacks, data augmentation, and model training in NLP https://textattack.readthedocs.io/en/master/
Non-interactive protocol for secure transformer inference based on RNS-CKKS.