☆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:
- Performant post-quantum client-side ZK-SNARK☆17Oct 22, 2026Updated last week
- ☆12Sep 8, 2025Updated last year
- ☆10Mar 25, 2022Updated 4 years ago
- ☆14Sep 28, 2020Updated 6 years ago
- Zero knowledge proofs of differential privacy mechanisms☆21Jul 18, 2023Updated 3 years 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.
- ☆24Mar 23, 2019Updated 7 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆28Jun 23, 2026Updated 4 months ago
- Codex durability engine research☆37Mar 24, 2026Updated 7 months ago
- Linux network and security sandbox with support for kernel exploit protection as well as VPN and proxy chaining☆16Mar 30, 2025Updated last year
- Self-hosted Qwen3.8-27B (FP8) inference with vLLM, KServe and Envoy AI Gateway on RTX 6000 PRo or 2× RTX 4080 Super☆18Sep 2, 2026Updated last month
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆51Jul 5, 2023Updated 3 years ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 4 years ago
- kensan (研鑽) — sharpen your K8s skills with a production-grade homelab: ArgoCD, Istio, Backstage on bare-metal☆19Updated this week
- Educational guides, writeups and challenges for the 2023 Equinor CTF☆14Mar 13, 2024Updated 2 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.
- This project utilizes LSTM-based network intrusion detection to improve cybersecurity, achieving high accuracy and low false positive rat…☆11Apr 26, 2023Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Oct 16, 2023Updated 3 years ago
- Health-Care: A Secure Electronic Medical Record Scenario over Blockchain.☆11May 7, 2021Updated 5 years ago
- EIP-4844 dev usage☆57Apr 15, 2025Updated last year
- Parser nginx log and analyzer detect anomaly requests (DDos, crawler...)☆18Mar 2, 2017Updated 9 years ago
- SMT 2023 Submission; license pending☆61Jan 28, 2026Updated 9 months ago
- ☆58Feb 21, 2025Updated last year
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Mar 19, 2024Updated 2 years ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆66Feb 17, 2025Updated last year
- 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.
- ☆25Aug 15, 2019Updated 7 years ago
- A collection of Kubernetes manifests for various self-hosted applications☆20Jun 8, 2026Updated 4 months ago
- Code for KDD 2021 paper "Multi-Scale One-Class Recurrent Neural Networks \\for Discrete Event Sequence Anomaly Detection"☆17Jun 2, 2021Updated 5 years ago
- A PoC repo for a HyperNova impl☆83Aug 23, 2023Updated 3 years ago
- Flows in Networks. Linear Programming. NP-complete Problems. Streaming Algorithms.☆20Jul 17, 2021Updated 5 years ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆97Apr 23, 2026Updated 6 months ago
- This repository includes supervised and unsupervised machine learning methods which are used to detect anomalies on network datasets. Dec…☆17Jun 24, 2019Updated 7 years ago
- The OWASP Top 5 Machine Learning Risks[edit | edit source] The idea is to build the required resources which help software security comm…☆30Jun 9, 2018Updated 8 years ago
- Code repository for my tutorial series which covers beginner to advanced topics on OpenCV with Python.☆25Mar 12, 2026Updated 7 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.
- ☆31Sep 20, 2024Updated 2 years ago
- ViHealthBERT: Pre-trained Language Models for Vietnamese in Health Text Mining (LREC 2022)☆22Dec 2, 2024Updated last year
- ☆24Sep 3, 2022Updated 4 years ago
- Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks☆57Updated this week
- The Challenge for OWASP's Kubernetes CTF☆34Apr 3, 2023Updated 3 years ago
- Bind9 Kubernetes Controller☆35Updated this week
- Proxy UDP over WebSocket - useful to use WireGuard in restricted networks.☆40Jan 25, 2025Updated last year