☆18Mar 8, 2024Updated 2 years ago
Alternatives and similar repositories for Linear-Programming
Users that are interested in Linear-Programming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple Arduino library for work with time.☆13Jan 17, 2024Updated 2 years ago
- Resources and Notes made while learning VIM.☆31Jul 27, 2020Updated 5 years ago
- Decentralized IPFS Pinning Service AVS☆13Oct 28, 2024Updated last year
- ☆14Sep 28, 2020Updated 5 years ago
- ☆10Mar 25, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A telegram bot for checking upcoming contests☆58Mar 2, 2026Updated last month
- Test Case generator for competitive coding. Test case generator for competitive programming and potentially for software testing.☆53Sep 3, 2023Updated 2 years ago
- List of short Codeforces problems with a statement of 1000 characters or less.☆80Aug 3, 2025Updated 8 months ago
- An autoscaling python script for Heroku☆28May 16, 2012Updated 13 years ago
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Jul 29, 2025Updated 8 months ago
- ⭐ LeetCode Solutions Grouped By Categories ⭐☆36Oct 2, 2020Updated 5 years ago
- Copy and paste text across LAN devices☆11Jul 3, 2017Updated 8 years ago
- Launch a Google search for exceptions from Python apps☆28Jan 19, 2015Updated 11 years 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.
- Competitive programming contests schedule☆32May 10, 2023Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- A hidden-information game without a trusted third party. Uses MPC and zero-knowledge proofs.☆39May 2, 2023Updated 2 years ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 4 years ago
- Minimal zkVM, targeting aggregation of hash-based signatures.☆99Updated this week
- Quora Q&A right from the command-line☆14Aug 16, 2017Updated 8 years ago
- A dark theme built for Codeforces☆141Oct 16, 2022Updated 3 years ago
- Periodically grabs changes, runs build scripts, and pushes built changes back to the Bootstrap git repo☆20Nov 29, 2015Updated 10 years ago
- One Pager containing all of her albums, songs, singles :)☆43Mar 15, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A tool to scrape the faculty details of QS Top 30 Institutes.☆11Sep 20, 2022Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Oct 16, 2023Updated 2 years ago
- SMT 2023 Submission; license pending☆57Jan 28, 2026Updated 2 months ago
- Article Extraction Java Web App Based on Boilerpipe Library Hosted @ GAE☆12Nov 2, 2020Updated 5 years ago
- Useful Scripts For Everyday Life☆15Nov 1, 2016Updated 9 years ago
- An Android app to encrypt and decrypt using common algorithms☆16Oct 5, 2016Updated 9 years ago
- CryptoGuy is a tool usefull to find out various decryptions of a string☆25Mar 22, 2015Updated 11 years ago
- 3D graphics from scratch☆22Jun 16, 2016Updated 9 years ago
- Geth-in-SGX provides an example of running go-ethereum in SGX☆77Mar 19, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆59May 21, 2020Updated 5 years ago
- Derived from the popular CPPLint from Google, but modified to incorporate code styles by Dr. B.S. Sanjeev for my undergraduate Data Struc…☆22Jan 20, 2016Updated 10 years ago
- GRab meaning from wEB | A python based CLI which tells meaning for a particular word☆19Jun 24, 2016Updated 9 years ago
- codeforces solutions☆224Aug 30, 2024Updated last year
- Slides from some of my talks/YouTube videos. Do leave a star ⭐☆65Oct 3, 2021Updated 4 years ago
- Calculator with functionality of voice input and output☆16Nov 3, 2018Updated 7 years ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆66Feb 17, 2025Updated last year