Cursor CLI + Claude Code + Codex Sandbox
☆22Aug 19, 2026Updated last week
Alternatives and similar repositories for cursor-sandbox
Users that are interested in cursor-sandbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notebooks and other course materials for Emory QTM 340 (Fall 2022)☆12Dec 13, 2022Updated 3 years ago
- Automata theory in Lean☆22Mar 25, 2026Updated 5 months ago
- ☆15Oct 24, 2023Updated 2 years ago
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- Benchmark of common hash functions☆10Sep 15, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CLI that uses DSPy to interact with MCP servers.☆24Mar 10, 2025Updated last year
- ☆10Feb 2, 2023Updated 3 years ago
- JSON for Humans in GDExtension for Godot.☆17Aug 23, 2026Updated last week
- ☆14Jul 26, 2021Updated 5 years ago
- Detailed analysis for data collected from M-Lab.☆20Apr 28, 2026Updated 4 months ago
- Remote control app for your coding agents (OpenCode, Pi, Gemini, etc.)☆25Updated this week
- Python Module implementing SRP☆12Jul 29, 2022Updated 4 years ago
- Jokes☆13Jul 11, 2024Updated 2 years ago
- An amateur attempt at breeding a chess-playing AI.☆13Jul 17, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Utilities for working with videos☆13Jul 5, 2025Updated last year
- ☆15Dec 16, 2020Updated 5 years ago
- ANE accelerated embedding models!☆20Dec 11, 2024Updated last year
- Diagram all the things☆18Nov 19, 2025Updated 9 months ago
- Chat with your PDFs or text files using ChatGPT with a HTMX web UI☆13Jul 19, 2023Updated 3 years ago
- Sparsify Your Flux Models☆14Sep 20, 2023Updated 2 years ago
- assign color hues to a collection of text fragments based on embeddings☆20Jun 15, 2024Updated 2 years ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆36Aug 21, 2026Updated last week
- Simple pytorch net evaluator with Bad Gyal 8 and Mean Girl 8 net included.☆11Jul 26, 2026Updated last month
- 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.
- ☆10Nov 10, 2021Updated 4 years ago
- Mathematical foundations of data analysis, Winter semester 22-23☆12Jan 31, 2023Updated 3 years ago
- ☆16Aug 22, 2026Updated last week
- A simple pickle assembler to make handcrafting pickle bytecode easier.☆15Apr 16, 2021Updated 5 years ago
- Hugging Face and Pyserini interoperability☆20May 18, 2023Updated 3 years ago
- Using modal.com to process FineWeb-edu data☆20Updated this week
- Goldbach conjecture = 25-state turing machine☆48May 21, 2026Updated 3 months ago
- Source code of the antcolony and flocking simulations with OpenAI GPT4o and NetLogo☆18May 8, 2025Updated last year
- https://footprints.baulab.info☆17Oct 4, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mathport is a tool for porting Lean3 projects to Lean4☆46Nov 21, 2024Updated last year
- aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-firs…☆11May 9, 2015Updated 11 years ago
- A chess engine designed to fit into 4kb☆15Aug 24, 2026Updated last week
- Data from the paper "Ghostbuster: Detecting Text Ghostwritten by Large Language Models"☆14May 27, 2024Updated 2 years ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆17Oct 12, 2023Updated 2 years ago
- hello.dev content☆13Apr 30, 2026Updated 4 months ago
- Code to reproduce the material covered in Kùzu's YouTube tutorials☆20Oct 10, 2025Updated 10 months ago