Lists (5)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Astro
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Dart
- Dockerfile
- Elm
- Erlang
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- MDX
- Markdown
- Max
- Mermaid
- Metal
- Mojo
- Nim
- Nunjucks
- Objective-C
- Objective-C++
- PDDL
- PHP
- Pony
- Processing
- Python
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sage
- Shell
- Solidity
- Starlark
- Swift
- TeX
- TypeScript
- V
- Vue
- WebAssembly
- Zig
- reStructuredText
Starred repositories
XERJ is the new way for AI to search data. Its autoindex capability activates agents to know your data without the token waste of grep and sed. One command indexes code, docs, logs and PDFs for sea…
high-performance graph database for real-time use cases
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
[NeurIPS 2025 D&B Spotlight] Scaling Data for SWE-agents
Prompts, templates, and scripts for running large-scale language migrations with Claude Code
A Swift package for typed decisions from language models (probabilities, choices, and scores), with support for local MLX models and the TypeSafe Jev API.
Premium Queue package for handling distributed jobs and messages in NodeJS.
One AI trade decision every Monad block. Jev on Kuru MON-USDC.
Agent skills for building with TypeSafe's System One API
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
Simple, reliable, and efficient distributed task queue in Go
µTask is an automation engine that models and executes business processes declared in yaml. ✏️📋
cuda-oxide is a Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign language bindings, ju…
Secure, fast, efficient, battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in multi-language ruleset (N…
Lightweight Rust LSP optimized for low memory usage
Memory for agents that checks whether what they remember is still true
Distributed event stream server over HTTP, backed by S3.
A Queue Abstraction Layer for Rust (Redis, RabbitMQ, SQS, etc.)
Full-featured async (tokio-based) postgres connection pool (like r2d2)
OpenADR 3.0 VTN and VEN implementation in Rust
Background task processing for rust using apalis and redis
Rust Best Practices, Patterns, and Code Design for Rust Production Coding (AI ingestible)
A Git-compatible VCS that is both simple and powerful






