Leanstral's fork of SafeVerify, which we use for code agent training and as part of our evaluation stack.
☆31Jul 3, 2026Updated last month
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:
- Agent application/benchmark/workload traces should be placed here.☆15Apr 13, 2026Updated 3 months ago
- Understanding deep networks and large models.☆30Jan 23, 2026Updated 6 months ago
- ☆15Jan 22, 2026Updated 6 months ago
- Implementation for IceCache: Memory-Efficient KV-cache Management for Long-Sequence LLMs (ICLR 2026).☆20Jun 9, 2026Updated last month
- Carla worldsim envrionment for decision-making evaluation and RL☆19Apr 22, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- Open-source interface to a user's defaults on macOS. Available as both a CLI and a library.☆15Dec 21, 2025Updated 7 months ago
- #PINNING is a browser extension (currently TamperMonkey script) to improve Pinterest's desktop browsing UX☆18Aug 7, 2025Updated 11 months ago
- Mixture of Experts from scratch☆14Apr 12, 2024Updated 2 years ago
- A Rust implementation of the Gravity-post-quantum signature schemes☆20Jul 23, 2026Updated last week
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 2 months ago
- Vibe coding moves fast — specs get skipped, tests get forgotten. NexPath CLI is a lightweight guidance system for Claude Code, Cursor, Cl…☆27Updated this week
- ☆35Apr 3, 2026Updated 4 months ago
- Self-host application can generate illustration from a novel by highlighting certain sentences☆13Oct 12, 2025Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [Lab] lab website☆12Jul 23, 2026Updated last week
- diffusers with search engine☆12Jan 13, 2026Updated 6 months ago
- Parse, deparse and normalize SQL queries using the Postgres source code☆15Jun 12, 2026Updated last month
- Execute fallible operations multiple times.☆15Sep 20, 2025Updated 10 months ago
- The official implement of Freeze-Omni.☆16Jul 10, 2025Updated last year
- Simple example of a Physics-Informed Neural Network (PINN) implementation.☆39Dec 8, 2025Updated 7 months ago
- Voice to brain interface 🦞🎤🧠 for OpenClaw, Hermes, PI, etc☆20Updated this week
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- A 9x9 Go (Weiqi/Baduk) Engine☆12Nov 5, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A package for keeping your JSON encoders and decoders in sync.☆19Apr 14, 2024Updated 2 years ago
- Rethinking the Trust Region in LLM Reinforcement Learning☆66Mar 2, 2026Updated 5 months ago
- Go SDK for Claude agents☆32May 9, 2026Updated 2 months ago
- A crate for converting Lua bytecode to different versions and formats☆17Jul 10, 2023Updated 3 years ago
- arXiv fragment loader plugin for https://llm.datasette.io/☆18May 17, 2025Updated last year
- Generate README.md from documentation comments in lib.rs or main.rs☆18Mar 2, 2026Updated 5 months ago
- Learn rule-based models from examples using LLM-powered synthesis. Replace expensive LLM calls with fast, deterministic, inspectable rege…☆31Updated this week
- A Hybrid Self-Cross Attention Network For Remote Sensing Change Detection☆16May 13, 2025Updated last year
- RL models to play Sokoban. The fastest recipe wins.☆31Jul 25, 2026Updated last week
- 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.
- ☆34Dec 15, 2025Updated 7 months ago
- A Collaborative Todo List application and MCP server using CRDTs and Multicast☆15Feb 14, 2026Updated 5 months ago
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago
- Advent of Code 2023 (Mojo)☆12Sep 30, 2024Updated last year
- Implementation of KlezVirus' silent moonwalk approach for payloads☆18Feb 13, 2026Updated 5 months ago
- A new dataset of difficult graduate-level applied mathematics problems; evaluations demonstrate that leading LLMs currently exhibit low a…☆30Feb 14, 2025Updated last year
- UPDATED, GoGuardian and Securly or any School Blocker work-around!☆12Mar 9, 2026Updated 4 months ago