Robert Balas's repositories
emacs-dotfiles
My emacs dotfile, inspired by spacemacs.
riscv-gnu-toolchain
riscv-gnu-toolchain with PULP specific patches
sel4_channel_bench
Complete channel bench setup for RISC-V on seL4.
blobby
Read and dump git object files (loose and packed)
circt
Circuit IR Compilers and Tools
core-v-mcu
This is the CORE-V MCU project, hosting CORE-V's embedded-class cores.
core-v-sw
Main Repo for the OpenHW Group Software Task Group
cryptopals-challenge
Some solutions to the cryptopals challenge
embench-iot
The main Embench repository
evil-collection
A set of keybindings for evil-mode
pdf.js
PDF Reader in JavaScript
pulp_cluster
The multi-core cluster of a PULP system.
riscv-cbqri
This repo holds the work area and revisions of a QoS register interface for caches and memory controllers specification. The QoS register interface is a non-ISA specification that supports configuring resource allocations to applications and monitoring the resource usage by applications.
riscv-europe-summit-templates
RISC-V Summit Europe tempales
riscv-isa-sim
Spike, a RISC-V ISA Simulator
seL4
The seL4 microkernel
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
seL4_tools
Basic tools for building seL4 projects
trdb
RISC-V processor tracing tools and library
verilator
Verilator open-source SystemVerilog simulator and lint system
verilator-exploration
Explore various verilator 5 features.
verilog-mode
Verilog-Mode for Emacs with Indentation, Hightlighting and AUTOs. Master repository for pushing to GNU, verilog.com and veripool.org.
yosys-f4pga-plugins
Plugins for Yosys developed as part of the F4PGA project.