Pinned Repositories
3DRenderer
A simple 3D rendering engine written using Python and the Pygame 2D library.
BenChat
The official repository for BenChat, the "up-and-coming" chat app
BenChatServer
The server-side component of the up-and-coming app, BenChat
bencole12345
Profile page
CapabilityDerivedLifetimes
Contains READMEs for my Master's project, Capability-Derived Lifetimes
cheri-cap-lib
A library of specific implementations of cheri and providing an abstract interface to those implementations
DiscreteFourierTransform
A basic implementation of the discrete Fourier transform algorithm
Groundwater
JavAssembler
A compiler from Java to WebAssembly
PhysicallyBasedRenderer
A physically-based renderer I'm building
bencole12345's Repositories
bencole12345/CapabilityDerivedLifetimes
Contains READMEs for my Master's project, Capability-Derived Lifetimes
bencole12345/BenChat
The official repository for BenChat, the "up-and-coming" chat app
bencole12345/DiscreteFourierTransform
A basic implementation of the discrete Fourier transform algorithm
bencole12345/3DRenderer
A simple 3D rendering engine written using Python and the Pygame 2D library.
bencole12345/BenChatServer
The server-side component of the up-and-coming app, BenChat
bencole12345/bencole12345
Profile page
bencole12345/cheri-cap-lib
A library of specific implementations of cheri and providing an abstract interface to those implementations
bencole12345/Groundwater
bencole12345/JavAssembler
A compiler from Java to WebAssembly
bencole12345/PhysicallyBasedRenderer
A physically-based renderer I'm building
bencole12345/cheribsd
FreeBSD adapted for the CHERI CPU.
bencole12345/CheriISAExtensionProposal
A place to upload my proposed changes to the CHERI-RISC-V ISA for my Master's project
bencole12345/EscapeAnalysisTool
[WIP] A tool for performing escape analysis on C/C++ functions
bencole12345/five_seas
Interaction design project
bencole12345/HowMuch
The source code for the How Much app
bencole12345/LittleBenComputer
An implementation of Little Man Computer written in Python
bencole12345/llvm-project
Fork of LLVM adding CHERI support
bencole12345/PyGameSkeleton
A skeleton for a PyGame project
bencole12345/qemu
QEMU with support for CHERI
bencole12345/sail-cheri-riscv
CHERI-RISC-V model written in Sail
bencole12345/StackTemporalSafetyTests
The tests I'm using to verify my stack temporal safety techniques
bencole12345/StackUsageSurveyWorkbooks
Workbooks for my stack memory usage survey
bencole12345/Super-Block-Simulator-5000
A rip-off of an obscure game you've never heard of, written in Rust
bencole12345/Toooba
RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT