Leon Schuermann's repositories
tock-litex
Companion repository to Tock on LiteX SoCs, containing the hardware build scripts, documentation and bitstreams
cargo
The Rust package manager
Apache-2.0000
CompCert
The CompCert formally-verified C compiler
Language:CoqNOASSERTION000
inquire
A Rust library for building interactive prompts
MIT000
libtock-rs
Rust userland library for Tock
libzetta-rs
Stable interface for programmatic administration of ZFS from Rust
litex-vexriscv-custom
Python module containing Verilog files for VexRiscv CPU (for use with LiteX). Fork, adding custom CPUs and providing prebuilt tarballs as releases.
lowrisc-crt
Compiler Repository Toolkit
lschuermann
Profile README.md
princeton-sns-cluster
Princeton SNS Cluster Configuration
tock-hydra-expr
Hydra release.nix expressions for CI of {tock,libtock-c}'s shell.nix expressions
tockloader
Tool for programming Tock onto hardware boards.