capt-hb Goto Github PK
Name: Sander Huyghebaert
Type: User
Company: Vrije Universiteit Brussel
Bio: PhD student at the Vrije Universiteit Brussel and KU Leuven.
Location: Brussels, Belgium
Sander Huyghebaert's Projects
agda-mode-vscode
agda-mode on VS Code
cheri-c-tests
A set of (executable) tests for the CHERI C implementation.
cheribsd
FreeBSD adapted for the CHERI CPU.
cheritest
Clone from https://github.com/CTSRD-CHERI/cheritest
chunkwm
Tiling window manager for macOS based on plugin architecture
compilers-skeletons-vub
Skeletons based on the UBC Compilers Racket Textbook for the VUB course (2021-2022)
gitpod
Gitpod automates the provisioning of ready-to-code development environments.
kitty
A modern, hackable, featureful, OpenGL based terminal emulator
llvm-project
Fork of LLVM adding CHERI support
multiconfig
Load configuration from multiple sources in Go
osmpbf
OpenStreetMap PBF file format parser in Go Lang.
pkhex
Pokémon Save File Editor
plfa.github.io
Introduction to programming language theory in Agda
pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
promise
Bare bones Promises/A+ implementation
qemu
QEMU with support for CHERI
refcard-org-beamer
Org Beamer reference card
sail
Sail architecture definition language
sail-cheri-mips
CHERI-MIPS model written in Sail language
sail-cheri-riscv
sarama
Sarama is a Go library for Apache Kafka 0.8, 0.9, and 0.10.
tampermonkey
Tampermonkey is a free browser extension and the most popular userscript manager for Blink- and WebKit-based Browsers like Chrome, Opera Next and Safari.
thesis
visualboyadvance-m
The continuing development of the legendary VBA gameboy advance emulator.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.