VEREFOO (VErified REFinement and Optimized Orchestrator) is a framework designed to provide an automatic way to allocate packet filters – in a Service Graph defined by the service designer and an auto-configuration technique to create firewall rules with respect to the specified security requirements.
☆10Aug 26, 2024Updated 2 years ago
Alternatives and similar repositories for verefoo
Users that are interested in verefoo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Feb 26, 2023Updated 3 years ago
- KV implementation on top of git (mirror of https://git.robur.coop/robur/git-kv)☆15Oct 7, 2026Updated 2 weeks ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Sep 14, 2026Updated last month
- A simple cache system for mmap in OCaml☆14Jan 21, 2026Updated 8 months ago
- 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.
- ☆14Sep 4, 2021Updated 5 years ago
- Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex☆10Mar 18, 2024Updated 2 years ago
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- experiments on distributed unikernels☆16Dec 15, 2024Updated last year
- MirageOS unikernel to test networking☆16Apr 3, 2023Updated 3 years ago
- ☆15Jun 12, 2026Updated 4 months ago
- Xen core platform libraries for MirageOS☆18Aug 14, 2026Updated 2 months ago
- 本人身为网络工程专业怎么也要做过一下网络的项目 （本人在这次项目做了项目组长）私有云与网络组建设计搭建 cisco交换机路由器防火墙配置 VLAN划分 +trunk+负载均衡+Rapid Spanning tree protocol+反向代理+ACL访问列表+LDAP服…☆15Nov 4, 2017Updated 8 years ago
- Microsite for the MirageOS hack retreats☆13May 10, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Apr 3, 2020Updated 6 years ago
- OCaml implementation of Wake-On-LAN (WOL)☆16Apr 30, 2024Updated 2 years ago
- ☆16Oct 11, 2026Updated last week
- Scraping Amazon website using Proxies for extracting Mobile details☆13May 30, 2019Updated 7 years ago
- Simple android app for sending and receiving SMS messages☆10Apr 8, 2015Updated 11 years ago
- ☆17Jun 16, 2025Updated last year
- OpenBSD tcpbench ported to GNU/Linux☆15Sep 4, 2026Updated last month
- Documents related to the Code of Conduct☆19Apr 18, 2025Updated last year
- Eye-tracking application for the iPhone using deep learning. See gazecapture.csail.mit.edu for the CVPR paper and other info.☆18Jan 18, 2017Updated 9 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.
- The original Protocol-oblivious Forwarding (POF) switch by Huawei☆10Sep 1, 2016Updated 10 years ago
- Script che permette il download automatico di tutto il materiale di un corso☆17Mar 29, 2021Updated 5 years ago
- Notes on OCaml debugging and performance☆16Jul 1, 2026Updated 3 months ago
- NLP Course (ICTS6361)☆11Jan 10, 2020Updated 6 years ago
- Memtrace library for MirageOS☆17Feb 17, 2025Updated last year
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆12Oct 18, 2022Updated 4 years ago
- Moved to https://codeberg.org/kit-ty-kate/mirage-torrent☆17Aug 13, 2026Updated 2 months ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆18Oct 16, 2020Updated 6 years ago
- Generic patcher + patches for TI-68k (89, 92+, V200, 89T) and hopefully, in the future, TI-Z80 (mostly 73, 83+, 84+) operating systems☆15Oct 19, 2020Updated 6 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.
- Chatting application Build for android platform. App communicates through wifi direct, which is fast and easy to connect. This app will h…☆12Jan 20, 2018Updated 8 years ago
- A unikernel as an IRC client☆26Sep 13, 2023Updated 3 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆14Jun 20, 2024Updated 2 years ago
- ☆23May 25, 2025Updated last year
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- Various P4 tools, programs and scripts to allow developers try the P4 experimental features in ONOS☆14Jul 19, 2018Updated 8 years ago
- Dialogflow Lumi chatbot interface exported as JSON files☆10Oct 7, 2021Updated 5 years ago