11-day current streak·11-day longest streak
Dr Marno van der Maas This is my favorite chess game that was pivotal for Magnus Carlsen to beat Ian Nepomniachtchi in the 2021 World Chess Championship. About me If…
Dr Marno van der Maas

This is my favorite chess game that was pivotal for Magnus Carlsen to beat Ian Nepomniachtchi in the 2021 World Chess Championship.
About me
If you're passionate about hardware security and verification, please reach out! You can find out more about me on my personal website.
Here's a few projects I would like to shout out:
-
opentitan ★ PINNED ⑂
OpenTitan: Open source silicon root of trust
SystemVerilog ★ 0 2d agoExplain → -
TestRIG ★ PINNED ⑂
Testing processors with Random Instruction Generation
Python ★ 0 2y agoExplain → -
ibex ★ PINNED ⑂
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
SystemVerilog ★ 1 22d agoExplain → -
riscv-dv ★ PINNED ⑂
Random instruction generator for RISC-V processor verification
Python ★ 0 2y agoExplain → -
praesidio-sdk ★ PINNED
Complete RISC-V toolchain to evaluate physically isolated enclaves
Python ★ 1 3y agoExplain → -
tiny-factorizer ★ PINNED
Based on: https://github.com/TinyTapeout/tt04-verilog-demo
Verilog ★ 2 2y agoExplain → -
idleLands-automation
Automation userscript for IdleLands.
JavaScript ★ 3 4y agoExplain → -
praesidio-hardware
Hardware components to protect enclave pages from being accessed by untrusted cores
Bluespec ★ 2 5y agoExplain → -
devenv
No description.
Dockerfile ★ 1 9d agoExplain → -
tool-schema
Schema for tool versions
Python ★ 1 1mo agoExplain → -
caliptra-rtl ⑂
HW Design Collateral for Caliptra RoT IP
SystemVerilog ★ 1 7mo agoExplain → -
praesidio-software
No description.
C ★ 1 5y agoExplain → -
mocha ⑂
CHERI-enabled secure enclave that can be integrated as a subsytem on a system on chip.
SystemVerilog ★ 0 8h agoExplain → -
IdleFantasy ⑂
Fantasy Inspired Idle Skilling Game
★ 0 3d agoExplain → -
u-boot ⑂
"Das U-Boot" Source Tree
★ 0 4d agoExplain → -
busybox ⑂
Provide a CHERI-enabled busybox port to support minimal Linux userspace builds.
★ 0 4d agoExplain → -
riscv-dbg ⑂
RISC-V Debug Support for our PULP RISC-V Cores
★ 0 4d agoExplain → -
sonata-software ⑂
Software, build flows and examples for the Sonata System
C++ ★ 0 15d agoExplain → -
IdleLands ⑂
The legendary idle MMORPG!
TypeScript ★ 0 19d agoExplain → -
cheri-cva6 ⑂
No description.
Assembly ★ 0 1mo agoExplain → -
cv-hpdcache ⑂
RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores
★ 0 1mo agoExplain → -
ajv-cli ⑂
Command-line interface for Ajv JSON Validator
TypeScript ★ 0 2mo agoExplain → -
LED_matrix_PCB
No description.
★ 0 2mo agoExplain → -
axi_riscv_atomics ⑂
AXI Adapter(s) for RISC-V Atomic Operations
★ 0 1y agoExplain → -
edalize ⑂
An abstraction library for interfacing EDA tools
★ 0 2mo agoExplain → -
riscv-cheri ⑂
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
TeX ★ 0 3mo agoExplain → -
sonata-system ⑂
A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
C++ ★ 0 8d agoExplain → -
common_cells ⑂
Common SystemVerilog components
★ 0 4mo agoExplain → -
mdutils ⑂
Markdown Utilities
★ 0 1y agoExplain → -
hipeac25-workshop-slides
No description.
TeX ★ 0 5mo agoExplain → -
axi ⑂
AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication
★ 0 6mo agoExplain → -
lowrisc-nix ⑂
lowRISC Nix Packages and Environments
★ 0 7mo agoExplain → -
ibex-mountains ⑂
A demo system for Ibex including debug support and some peripherals
C ★ 0 7mo agoExplain → -
sunburst-chip-public ⑂
An open silicon CHERIoT Ibex microcontroller chip
C ★ 0 8mo agoExplain → -
cheriot-rtos ⑂
The RTOS components for the CHERIoT research platform
C++ ★ 0 9mo agoExplain → -
caliptra-ss ⑂
HW Design Collateral for Caliptra Subsystem, which comprises Caliptra RoT IP and additional manufacturer controls.
★ 0 9mo agoExplain → -
benevisrdl ⑂
This repository will house PeakRDL plugins, named after Ben Nevis, the UK's tallest peak.
★ 0 10mo agoExplain → -
zermio ⑂
No description.
★ 0 10mo agoExplain → -
sonata-pcb ⑂
Design files and associated documentation for Sonata PCB, part of the Sunburst Project
★ 0 1y agoExplain → -
cheriot-ibex ⑂
cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.
SystemVerilog ★ 0 1y agoExplain → -
reisfmt ⑂
A tiny implementation of the c++23 std::print for embedded systems.
★ 0 1y agoExplain → -
cheriot-dbg-module ⑂
RISC-V debug module extended with CHERIoT support
★ 0 1y agoExplain → -
book ⑂
The public drafts of the CHERIoT Programmers' Guide
★ 0 1y agoExplain → -
riscv-europe-summit-templates ⑂
RISC-V Summit Europe tempales
TeX ★ 0 1y agoExplain → -
cheriot-sail ⑂
Sail code model of the CHERIoT ISA
TeX ★ 0 1y agoExplain → -
devcontainer ⑂
Scripts for creating the CHERIoT dev container
Dockerfile ★ 0 1y agoExplain → -
itd ⑂
Linux companion daemon for the InfiniTime smartwatch firmware
★ 0 1y agoExplain → -
marnovandermaas
No description.
★ 0 1y agoExplain → -
sail-riscv ⑂
Sail RISC-V model
Coq ★ 0 1y agoExplain → -
cheriot-network-stack ⑂
No description.
★ 0 1y agoExplain → -
chess-library ⑂
C++ chess library
★ 0 1y agoExplain → -
psgen ⑂
No description.
Go ★ 0 1y agoExplain → -
sonata-rp2040 ⑂
rp2040 firmware for Sonata
C ★ 0 1y agoExplain → -
cheriot-safe ⑂
Repo for CHERI development system
SystemVerilog ★ 0 1y agoExplain → -
cheri-tg ⑂
The CHERI TG aims to standardize a CHERI extension to RISC-V for both RV32 and RV64.
★ 0 1y agoExplain → -
sail ⑂
Sail architecture definition language
Isabelle ★ 0 2y agoExplain → -
cheriot-llvm ⑂
Fork of LLVM adding CHERIoT, based on the CHERI LLVM fork
★ 0 2y agoExplain → -
CHERIoT-Platform.github.io ⑂
CHERIoT web site
★ 0 1y agoExplain → -
QuickCheckVEngine ⑂
A RISC-V TestRIG Verification Engine based on QuickCheck
★ 0 2y agoExplain → -
twiiit.com ⑂
A redirecting proxy for Nitter
★ 0 2y agoExplain → -
boot-test-sonata
Test project for Sonata system
Makefile ★ 0 2y agoExplain → -
secure-code-game
No description.
Python ★ 0 2y agoExplain → -
ibex-scorecard
Test repo to add OpenSSF scorecard to Ibex
SystemVerilog ★ 0 2y agoExplain → -
lowrisc-chip ⑂
The root repo for lowRISC project and FPGA demos.
SystemVerilog ★ 0 2y agoExplain → -
tt-support-tools ⑂
tools used by project repos to test configuration, generate OpenLane run summaries and documentation
★ 0 2y agoExplain → -
code-share ⑂
A platform for collaborative coding
★ 0 4y agoExplain → -
tt04-verilog-demo ⑂
Verilog Demo
Verilog ★ 0 3y agoExplain → -
tictactoe-solve
No description.
Python ★ 0 3y agoExplain → -
tt03p5 ⑂
test repo for tiny tapeout
Verilog ★ 0 3y agoExplain → -
qemu-lowrisc-archive ⑂
Local version of qemu for riscv emulation use
★ 0 6y agoExplain → -
efabless_playground
Test repository for the efabless chipignite template project.
Verilog ★ 0 3y agoExplain → -
github-achievement-testarea
No description.
★ 0 3y agoExplain → -
cheri ⑂
Group administration repository for SIG: CHERI
★ 0 3y agoExplain → -
simien_mountains ⑂
No description.
SystemVerilog ★ 0 3y agoExplain → -
riscv-isa-sim
No description.
C ★ 0 5y agoExplain → -
buildroot
Modified buildroot for the praesidio enclave system. It is a submodule of the praesidio-sdk repository.
Makefile ★ 0 5y agoExplain → -
riscv-linux
Linux branch to run praesidio enclaves. It is a part of the praesidio-sdk.
C ★ 0 5y agoExplain → -
GlobalBackend ⑂
No description.
JavaScript ★ 0 4y agoExplain → -
Global ⑂
No description.
TypeScript ★ 0 4y agoExplain → -
logger-timer ⑂
A quick shortcut to adding a bunch of timers and dumping their deltas.
TypeScript ★ 0 4y agoExplain → -
DivineStumbler ⑂
Revised DrunkStumbler for IdleLands4 https://idle.land
JavaScript ★ 0 4y agoExplain → -
ro-dle
Romanian version of Wordle
TypeScript ★ 0 3y agoExplain → -
chessle
A Wordle inspired game for guessing chess players
HTML ★ 0 4y agoExplain → -
idlelands.github.io ⑂
No description.
SCSS ★ 0 4y agoExplain → -
cheri-riscv-isa-sim ⑂
Spike, a RISC-V ISA Simulator
★ 0 6y agoExplain → -
Koi ⑂
Koi Farm, the koi breeding game
JavaScript ★ 0 4y agoExplain → -
rtl8812au ⑂
Realtek 802.11n WLAN Adapter Linux driver
C ★ 0 5y agoExplain → -
Maps ⑂
All of the maps for IdleLands
★ 0 4y agoExplain → -
Custom-Assets ⑂
All assets related to idlelands game data go here
★ 0 6y agoExplain → -
riscv-fesvr
No description.
C ★ 0 6y agoExplain → -
riscv-lite ⑂
Versions of RISC-V that only execute the fib() function.
SystemVerilog ★ 0 6y agoExplain →
No repos match these filters.