Reto Achermann's repositories
rust-smtlib2
A library to create SMT-LIB2 code from Rust.
arm-fastmodels-boot
A simple, helloworld boot application for the Arm FastModels simulator.
backtracer
Simple backtrace support for no-std rust
barrelfish
Unofficial Mirror of the Barrelfish OS
rust-armv8
Rust library to use armv8 (aarch64/aarch32) specific functionality and registers.
verified-bitmasks
A verified bitmask implementation in Dafny.
barrelfish-docker
Settings to compile Barrelfish with Docker and integration with Gitlab CI Runners
barrelfish-spacejmp
Barrelfish with SpaceJMP extension.
codegen-rs
A Rust library providing a builder API to generate Rust code - fork of https://github.com/carllerche/codegen
cortex-a
Low level access to Cortex-A processors
fm-translation-framework
A framework to define translation hardware for the Arm FastModels System Simulator
fm-translation-unit
An example translation unit that uses the translation unit framework
libfringe
a Rust library implementing safe, lightweight context switches, without relying on kernel services
memcached
memcached development tree
memcached-bench
Just some simple memcached.
pandoc
Universal markup converter
rust-elfloader
Library to load and relocate ELF files.
rust-klogger
Kernel logging library in rust.
rust-rawtime
Timing infrastructure for no_std
rust-slabmalloc
Simple malloc implementation.
rust-srcspan
Library for capturing spans within a source file for the nom crate.
rust-tokstream
Library for expressing token stream of lexed source files for the nom crate.
rust-topology
x86 hardware topology abstraction
termite2-Termite
The Termite driver synthesis tool
unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
velosiraptor-parser
The parser for the Velosiraptor Specificaton Language (*.vrs)
verified-node-replication
Verified Node-Replication Crate
verus
Verified Rust for low-level systems code
z3.rs
Rust bindings for the Z3 solver.