☆14Aug 22, 2023Updated 3 years ago
Alternatives and similar repositories for rsp_model
Users that are interested in rsp_model are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kubesonde: network policy testing and verification in K8s☆49Updated this week
- Unifi and EdgeRouter configuration stuff primarily for home and small networks☆10Aug 1, 2019Updated 7 years ago
- OpenStack Threat Modelling☆10Oct 14, 2014Updated 12 years ago
- MCP server for converting HTML to Markdown using Turndown.js. Fetch web pages and convert them to clean, formatted Markdown.☆26Mar 29, 2026Updated 7 months ago
- JavaCard hello world SIM applet☆14Jul 16, 2012Updated 14 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Electronic exam software for higher education☆16Updated this week
- Open Apache-2.0 corpus, runner, scoring, and result-verification contracts for measuring AI-agent egress controls. A PipeLab open project…☆23Updated this week
- My attempt at writing exploit POCs for various CVEs☆15Feb 8, 2020Updated 6 years ago
- Docker image with NGINX with PHP FPM☆11Jan 26, 2018Updated 8 years ago
- JavaScript/TypeScript filter and checker for bad words aka profanity☆17Dec 6, 2025Updated 11 months ago
- ☆14Jan 10, 2026Updated 9 months ago
- a better profanity filter☆15Mar 22, 2023Updated 3 years ago
- ☆12Sep 19, 2026Updated last month
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 8 months 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.
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated 2 months ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 2 weeks ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- A modern, flexible logging tool☆10Aug 18, 2023Updated 3 years ago
- A self-contained app that allows using TiddlyWiki with nicely working saving☆13Mar 7, 2023Updated 3 years ago
- This is a Tamarin model of TLS 1.3☆10Apr 19, 2023Updated 3 years ago
- Portier client for Python☆14Nov 28, 2017Updated 8 years ago
- Computational complexity theory in Lean built on top of CSLib.☆22Updated this week
- 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.
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- OpenPGP smart card minidriver☆14Nov 6, 2024Updated 2 years ago
- A curated list of PQC (Post Quantum Cryptography) resources☆51Updated this week
- Health service prescreener for sharing patient eligibility data.☆11Nov 23, 2015Updated 10 years ago
- Tiny Flask app for testing HTTP calls☆11Aug 7, 2018Updated 8 years ago
- Backend for Wazimap-NG. See also https://github.com/OpenUpSA/wazimap-ng-ui/☆12May 5, 2026Updated 6 months ago
- A tool to infer the security handshake state machine of a given WiFi router. Useful for vulnerability analysis☆16Oct 19, 2022Updated 4 years ago
- Optimization bugs found in popular quantum computing SDKs due to poor numerical handling☆12Oct 12, 2026Updated 3 weeks ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A “functional programming” version of a To-Do List application written with the Cats library☆17Aug 12, 2019Updated 7 years ago
- The happiness measuring app☆13Aug 14, 2016Updated 10 years ago
- JReduce is a tool to reduce Java ByteCode☆13Oct 12, 2021Updated 5 years ago
- using iodine to tunnel IP via DNS☆15Feb 4, 2020Updated 6 years ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- Classic snake game written in Zig, compiled to WASM.☆12Oct 25, 2021Updated 5 years ago
- A collection of awesome penetration testing resources, tools and other shiny things☆14Oct 10, 2017Updated 9 years ago