Pinned Repositories
blarney
Haskell library for hardware description
BlueStuff
A Bluespec SystemVerilog library of miscellaneous components
cheri-cap-lib
A library of specific implementations of cheri and providing an abstract interface to those implementations
SIMTight
Synthesisable SIMT-style RISC-V GPGPU
TestRIG
Testing processors with Random Instruction Generation
BitPat
Bit-string pattern matching library for Bluespec
home
home config backup
tree-sitter-Sail
Tree sitter grammar for the Sail language
vim-l3
vim plugin for the L3 language syntax
vim-sail
A vim plugin for the sail ISA description language
gameboo's Repositories
gameboo/tree-sitter-Sail
Tree sitter grammar for the Sail language
gameboo/blarney
Hardware description in Haskell
gameboo/diagrams-doc
Documentation for the diagrams project
gameboo/fmem_fuse
gameboo/gameboo
A profile of sorts...
gameboo/hanabi.github.io
A list of Hanabi strategies
gameboo/llhd
Low Level Hardware Description — A foundation for building hardware design tools.
gameboo/misc
things that don't yet have a proper place to live in
gameboo/mn416.github.io
gameboo/new_plot
gameboo/nix-pills
gameboo/nixpkgs
Nix Packages collection
gameboo/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
gameboo/QuickCheckVEngine
A RISC-V TestRIG Verification Engine based on QuickCheck
gameboo/riscof
gameboo/riscv-arch-test
gameboo/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.
gameboo/riscv-debug-spec
Working Draft of the RISC-V Debug Specification Standard
gameboo/riscv-isa-manual
RISC-V Instruction Set Manual
gameboo/RISCV_gdbstub
A gdbstub for connecting GDB to a RISC-V Debug Module
gameboo/sail-riscv
Sail RISC-V model
gameboo/SIMTight
CHERI-enabled GPGPU
gameboo/test-jenkins-stuff
to test jenkins stuff
gameboo/test_git_tags
test
gameboo/test_git_tags_nested
gameboo/tiny-blarney
gameboo/tree-sitter-BluespecSystemVerilog
gameboo/verilog-fiddle
A simple tool to generate basic information about a verilog module interface
gameboo/vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
gameboo/xbgas-archspec
xBGAS Architecture Specification