An seL4 reference webserver application
☆12Jul 22, 2026Updated 3 months ago
Alternatives and similar repositories for sel4webserver
Users that are interested in sel4webserver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14May 26, 2025Updated last year
- A white box algorithm that generate adversarial examples according to the gradient☆11May 9, 2020Updated 6 years ago
- ☆12Oct 21, 2019Updated 7 years ago
- C compiler using antlr4 with cpp backend and using llvm for code generation☆10Dec 22, 2017Updated 8 years ago
- ☆11Apr 23, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Binary Decision Diagrams in Lean 4☆14Jul 26, 2026Updated 3 months ago
- Lean 4 Zstandard (RFC 8878) decompression: C FFI bindings and pure-Lean implementation with formal proofs☆11Sep 1, 2026Updated 2 months ago
- Execute an async function per stream data event, pausing the stream when a concurrency limit is saturated☆12Dec 15, 2023Updated 2 years ago
- A snowpack + webpack + module federation SSR playground☆11May 20, 2021Updated 5 years ago
- ☆10Mar 15, 2023Updated 3 years ago
- A no-frills Racket macro library to extend ffi/unsafe with C++ compatibility.☆10Feb 5, 2020Updated 6 years ago
- ☆11Jun 2, 2022Updated 4 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆18Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Integrate WasmEdge with seL4☆43Jun 14, 2022Updated 4 years ago
- ☆11Oct 11, 2021Updated 5 years ago
- Your PS5 games, video and audio on your Windows PC, at up to 4K, with GPU video, Gaming Mode and instant replay. Open Payload Manager, la…☆13Updated this week
- A guide on running Rust in the browser☆10Sep 17, 2024Updated 2 years ago
- A sample CLI tool made in V that prints geometric shapes to the screen.☆12Dec 2, 2023Updated 2 years ago
- TSMaster API on 64 windows and linux☆13Mar 6, 2024Updated 2 years ago
- ☆11Dec 23, 2018Updated 7 years ago
- Codes related to Idris☆17Sep 4, 2015Updated 11 years ago
- Default package template for JavaScript based Fastly Compute projects☆22Jul 21, 2026Updated 3 months 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.
- 调试大师：你见过最强的内核调试器☆36May 6, 2021Updated 5 years ago
- Utility to auto-adjust the brightness of i3wm workspaces☆14Jan 1, 2023Updated 3 years ago
- 在 Alfred 中快速搜索语雀文档、浏览器打开文档、复制文档链接、切换文档的分享状态☆11Jul 1, 2023Updated 3 years ago
- A WASM VM written in Elixir☆19Jan 5, 2020Updated 6 years ago
- Elasticsearch provider for Examine in Umbraco v8☆12Jan 15, 2024Updated 2 years ago
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- PXE booting for people in a hurry.☆12Feb 12, 2016Updated 10 years ago
- ps4-gentoo-sources 5.3.7 (Kernel for PS4Gentoo)☆12Feb 9, 2022Updated 4 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆62Oct 30, 2026Updated last 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.
- A parser for ANSI C, in Lean4.☆25Nov 16, 2023Updated 2 years ago
- persistent-mode afl-fuzz for ocaml☆19Nov 23, 2024Updated last year
- A go rewrite of PPPwn☆11May 20, 2024Updated 2 years ago
- auWin is a program with which you can easily edit window attributes and interact with windows.☆11Aug 3, 2023Updated 3 years ago
- Wrap find(1) with terminal UI.☆14Aug 8, 2015Updated 11 years ago
- Aspiring universal programming language. Features: user-definable syntax and types + self-improving optimizer that creates provably corre…☆23Updated this week
- a ppx_deriving plugin for crowbar generators☆21Jul 1, 2019Updated 7 years ago