Nix tooling for the seL4 microkernel & ecosystem
☆21Aug 7, 2026Updated 3 months ago
Alternatives and similar repositories for seL4-nix-utils
Users that are interested in seL4-nix-utils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tutorial for learning the seL4 Microkit☆13Updated this week
- Component Architecture test suite and example apps.☆36Updated this week
- A toy ELF parser/validator☆18Dec 18, 2024Updated last year
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- Binary logical relations library for the Coq proof assistant☆23Sep 15, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Jul 23, 2024Updated 2 years ago
- A virtual machine monitor for the seL4 microkernel☆84Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆73Updated this week
- A full-stack web and TUI framework inspired by Yesod and Elm.☆14Oct 29, 2026Updated last week
- A symbolic analyser for shell scripts.☆23Sep 17, 2021Updated 5 years ago
- NxtVR is our first open source VR headset!☆31May 29, 2021Updated 5 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Oct 28, 2020Updated 6 years ago
- Dockerfile for WebRTC development environment (Ubuntu16.04LTS & Java8) especially for Unity Plugin☆12Apr 16, 2018Updated 8 years ago
- ☆13Sep 6, 2025Updated last year
- 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.
- Formalising the WASM spec in Lean☆34Updated this week
- ☆10May 20, 2026Updated 5 months ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last month
- Microkit - A simple operating system framework for the seL4 microkernel☆213Updated this week
- Experiments on implementing Dependent Pattern Matching under Normalization by Evaluation setup.☆15Oct 31, 2026Updated last week
- Total lexer and parser for Idris2☆19Sep 22, 2025Updated last year
- Script for installing a Nix environment on WSL2 using Alpine or Debian☆14Aug 1, 2025Updated last year
- A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions☆14May 28, 2026Updated 5 months ago
- nextcloud systemd portable service built on Nix☆15Jun 27, 2026Updated 4 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.
- ☆16Oct 31, 2026Updated last week
- Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions☆14Jul 15, 2026Updated 3 months ago
- a kernel☆13Sep 24, 2023Updated 3 years ago
- experimental LeanOS formally verified OS☆19Updated this week
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- Talks I've given at various conferences☆20Mar 2, 2018Updated 8 years ago
- OpenSCAD collection of functional programming utilities, making use of function-literals.☆37Feb 14, 2025Updated last year
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- Journey to the Center of the Lambda Calculus☆15Aug 31, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- GMod's HTML interface and implementations☆14Sep 27, 2026Updated last month
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆30Oct 22, 2026Updated 2 weeks ago
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 8 months ago
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 2 months ago
- Lean4: Total parser combinator library with do notation☆23Sep 9, 2026Updated last month
- Rustica is a functional programming library for the Rust language.☆18Updated this week
- nix plugin + daemon + tui for global system monitoring of all nix activity☆23Feb 19, 2026Updated 8 months ago