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.
☆11Aug 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:
- KV implementation on top of git (mirror of https://git.robur.coop/robur/git-kv)☆15Updated this week
- 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
- Audit your opam switch for vulnerable packages☆11Updated this week
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Feb 26, 2023Updated 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.
- ah yes, effect handlers in unikernels☆14May 19, 2023Updated 3 years ago
- Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex☆10Mar 18, 2024Updated 2 years ago
- A simple cache system for mmap in OCaml☆14Jan 21, 2026Updated 9 months ago
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- MirageOS unikernel to test networking☆16Apr 3, 2023Updated 3 years ago
- 本人身为网络工程专业怎么也要做过一下网络的项目 （本人在这次项目做了项目组长）私有云与网络组建设计搭建 cisco交换机路由器防火墙配置 VLAN划分 +trunk+负载均衡+Rapid Spanning tree protocol+反向代理+ACL访问列表+LDAP服…☆15Nov 4, 2017Updated 9 years ago
- ☆15Jun 12, 2026Updated 5 months ago
- Xen core platform libraries for MirageOS☆18Aug 14, 2026Updated 2 months ago
- Microsite for the MirageOS hack retreats☆13May 10, 2026Updated 6 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.
- ☆11Apr 3, 2020Updated 6 years ago
- 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
- ☆14Sep 4, 2021Updated 5 years ago
- A synthetic library for bigstrings☆13Oct 30, 2026Updated last week
- Taming the transient while reconfiguring BGP (SIGCOMM'23)☆10Dec 5, 2023Updated 2 years ago
- experiments on distributed unikernels☆16Dec 15, 2024Updated last year
- OCaml implementation of Wake-On-LAN (WOL)☆16Apr 30, 2024Updated 2 years ago
- Simple android app for sending and receiving SMS messages☆10Apr 8, 2015Updated 11 years ago
- ImpFS, a new filesystem.☆22Feb 6, 2022Updated 4 years 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.
- OpenBSD tcpbench ported to GNU/Linux☆15Oct 23, 2026Updated 2 weeks ago
- 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
- Scraping Amazon website using Proxies for extracting Mobile details☆13May 30, 2019Updated 7 years ago
- Script che permette il download automatico di tutto il materiale di un corso☆17Mar 29, 2021Updated 5 years ago
- ☆11Aug 25, 2021Updated 5 years ago
- ☆17Jun 16, 2025Updated last year
- Notes on OCaml debugging and performance☆16Jul 1, 2026Updated 4 months ago
- Scriptables小组件（世界杯赛程，英雄联盟赛程）☆12Oct 9, 2023Updated 3 years ago
- The original Protocol-oblivious Forwarding (POF) switch by Huawei☆10Sep 1, 2016Updated 10 years 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.
- ☆17Updated this week
- NLP Course (ICTS6361)☆11Jan 10, 2020Updated 6 years ago
- classify English movies by using its Arabic subtitle☆10Jun 9, 2018Updated 8 years ago
- Documents related to the Code of Conduct☆19Apr 18, 2025Updated last year
- Memtrace library for MirageOS☆17Feb 17, 2025Updated last year
- Advisories from the OCaml Security team☆17Updated this week
- Google Play Store App Reviews Downloader☆12May 18, 2018Updated 8 years ago
Are these results useful?