☆23Nov 22, 2025Updated 7 months ago
Alternatives and similar repositories for cp
Users that are interested in cp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Nov 29, 2023Updated 2 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- A command line tool to predict the like count of a YouTube video.☆12Apr 13, 2017Updated 9 years ago
- 📝 Version control your thoughts☆16May 1, 2024Updated 2 years ago
- ☆15Dec 11, 2012Updated 13 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.
- Discord Bot that moderates Harassment along with Toxicity and Depressive Behavior☆12May 3, 2025Updated last year
- Symbol-Equivariant Recurrent Reasoning Model☆16Mar 4, 2026Updated 4 months ago
- A representative FP Castle☆21Apr 6, 2026Updated 3 months ago
- Automatically fetch metadata for your music collection and rename files accordingly☆16Jun 8, 2017Updated 9 years ago
- the natural state of entropy is to increase. we must fight against it.☆14Dec 27, 2022Updated 3 years ago
- A MySQL backup tool for Google Sheets, written in Node.js.☆15Jun 9, 2021Updated 5 years ago
- A Python-Markdown extension for creating memes and finding best-fitting gifs.☆13Nov 6, 2016Updated 9 years ago
- Open-source textbook about CHERI capabilities, for a developer audience☆18Apr 16, 2026Updated 3 months ago
- stockfighter API wrapper☆11Dec 26, 2022Updated 3 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.
- 🔧 Node.js serverless microservices for automating things☆29Apr 23, 2024Updated 2 years ago
- Straightforward pseudocode.☆16Feb 7, 2026Updated 5 months ago
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- Jekyll plugin to display Instagram photos.☆25Apr 25, 2011Updated 15 years ago
- 🎓An AI tool to assist universities with optimal allocation of students to supervisors for their dissertations. Devised a multi-objective…☆24Nov 18, 2022Updated 3 years ago
- Use Artificial Intelligence to find promiscuous Tinder matches☆26Dec 19, 2017Updated 8 years ago
- A mechanisation of Wasm in Isabelle.☆36Feb 13, 2026Updated 5 months ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆45May 31, 2023Updated 3 years ago
- results of covid19 testing in Scotland☆27Aug 12, 2020Updated 5 years 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.
- Preparing for Life in Academia☆26Nov 17, 2016Updated 9 years ago
- [ICML'26] LEMUR reduces multi-vector retrieval for late interaction models such as ColBERT into regular single-vector retrieval.☆31Jun 21, 2026Updated last month
- TAO best practices. How to adapt for a new domain, new classes, and generalize the model with a small dataset using Nvidia's TAO toolkit☆27May 17, 2022Updated 4 years ago
- ☆39Oct 16, 2024Updated last year
- ☆47Jun 10, 2026Updated last month
- Reachability analysis for closed-loop control systems in Julia☆47Jul 5, 2026Updated 2 weeks ago
- Ranked Programming Extension for Racket☆55Jul 10, 2020Updated 6 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆43Mar 30, 2023Updated 3 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆41Apr 11, 2023Updated 3 years ago
- 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.
- To check whether runs of numbers can be organised into sequences where every consecutive pair of numbers adds to a square. And plot the r…☆44Jan 28, 2018Updated 8 years ago
- The Verifiably Safe Reinforcement Learning Framework☆57Jul 22, 2021Updated 5 years ago
- ARCH hardware description language and compiler☆50Updated this week
- Machine Learning Safety☆45Feb 3, 2026Updated 5 months ago
- RISCV-VP++ is a extended and improved successor of the RISC-V based Virtual Prototype (VP) RISC-V VP. It is maintained at the Institute f…☆57Jul 3, 2026Updated 2 weeks ago
- CP+SAT solver framework built to be reliable, performant, and extensible☆55Jul 13, 2026Updated last week
- A ⁵⁄₉-themed NFT to commemorate me running 10000km in 555 days of running everyday.☆62Jan 20, 2026Updated 6 months ago