Leanstral's fork of SafeVerify, which we use for code agent training and as part of our evaluation stack.
☆40Jul 3, 2026Updated 3 months ago
Alternatives and similar repositories for LeanstralSafeVerify
Users that are interested in LeanstralSafeVerify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implemented and benchmarked KV cache compression methods for LLM inference in Triton. Optimized kernels for KIVI and TurboQuant with Flas…☆18Jun 19, 2026Updated 4 months ago
- ☆44Jul 21, 2026Updated 3 months ago
- ☆23Updated this week
- ☆51Aug 26, 2026Updated last month
- Fused MoE kernel☆23Aug 10, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Plugin Marketplace for Claude Code☆18Feb 8, 2026Updated 8 months ago
- ☆104Jul 17, 2026Updated 3 months ago
- ☆29Sep 7, 2026Updated last month
- ☆41May 27, 2026Updated 4 months ago
- New results and AI-powered research on the square packing problem☆42Updated this week
- Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity: https://metr.org/blog/2025-07-10-early-2025-ai-e…☆17Feb 23, 2026Updated 8 months ago
- Agent application/benchmark/workload traces should be placed here.☆20Apr 13, 2026Updated 6 months ago
- ☆16May 24, 2026Updated 4 months ago
- Understanding deep networks and large models.☆30Jan 23, 2026Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆55Updated this week
- Genetic algorithm which evolves aoe2 DE ai scripts☆14May 7, 2023Updated 3 years ago
- TorchLean: Formalizing Neural Networks in Lean 4 — IBP, CROWN, α,β-CROWN verification framework☆47Mar 1, 2026Updated 7 months ago
- ☆13Aug 7, 2026Updated 2 months ago
- A clean, single-file PyTorch implementation of Attention Residuals (Kimi Team, MoonshotAI, 2026), integrated with Grouped Query Attention…☆42Mar 16, 2026Updated 7 months ago
- Files you own. Memory your agents can trust. Also: your AI won't gaslight you about what's in your own notes anymore.☆19Aug 26, 2026Updated last month
- Welcome to the Google Summer of Code (GSoC) 2024! This repository is your go-to resource for all the information you need to participate …☆17Feb 26, 2024Updated 2 years ago
- Issue tracker for https://alphaxiv.org☆26Oct 13, 2025Updated last year
- Carla worldsim envrionment for decision-making evaluation and RL☆19Apr 22, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An implementation of Tor, in Rust.☆13Oct 6, 2026Updated 2 weeks ago
- An open source in memory Graph Database for Social Networks☆10Sep 20, 2022Updated 4 years ago
- ☆11Dec 23, 2023Updated 2 years ago
- Lean 4 framework for reasoning about Triton-style kernels.☆29Oct 14, 2026Updated last week
- ☆17Apr 23, 2026Updated 6 months ago
- A parallel native tool caling deep search agentic framework with base window retention observation masking context management.☆25Sep 22, 2026Updated last month
- LazyDev is a Python module that utilizes GPT models to create entire coding projects for you. With just a few simple commands, LazyDev ca…☆18Sep 10, 2024Updated 2 years ago
- LinStereo (ECCV 2026): project page — linear-complexity global attention for multi-scale iterative underwater stereo matching☆24Aug 10, 2026Updated 2 months ago
- Project Sato - C2☆10Apr 24, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- MatchED: Crisp Edge Detection Using End-to-End, Matching-based Supervision☆20Jun 19, 2026Updated 4 months ago
- Tools for ranking in Julia☆11Sep 12, 2021Updated 5 years ago
- Git VCS Support for TeamCity☆15Updated this week
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 4 years ago
- KernelBench v2: Can LLMs Write GPU Kernels? - Benchmark with Torch -> Triton (and more!) problems☆26Jul 4, 2025Updated last year
- Solving Inequality Proofs with Large Language Models.☆61Dec 15, 2025Updated 10 months ago
- Private, encrypted backups with time-travel restore. Zero-knowledge protection for AI agents, configs, and everything you care about.☆18Feb 19, 2026Updated 8 months ago