sholtrop
TypeScript-enthusiast, Rustacean, and more. I do web dev & systems programming. Currently MSc Advanced Computing & Systems @ Leiden University.
Pinned Repositories
api_project
async-raft
An implementation of the Raft distributed consensus protocol using the Tokio framework.
boterbotTS
Discord bot written in TypeScript, using Mongoose/MongoDB.
cargo
The Rust package manager
cbindgen
A project for generating C bindings from Rust code
cminus
Toy compiler for a minimal, C-like language, written in Rust.
dbd_live_game_info
Twitch extension for the game Dead by Daylight. Displays in-game info (perks, addons) live for viewers.
direct-fuse
ldpfuse
C library for developing file systems in userspace that leverage LD_PRELOAD.
symcc
SymCC: efficient compiler-based symbolic execution
sholtrop's Repositories
sholtrop/ldpfuse
C library for developing file systems in userspace that leverage LD_PRELOAD.
sholtrop/dbd_live_game_info
Twitch extension for the game Dead by Daylight. Displays in-game info (perks, addons) live for viewers.
sholtrop/cminus
Toy compiler for a minimal, C-like language, written in Rust.
sholtrop/direct-fuse
sholtrop/symcc
SymCC: efficient compiler-based symbolic execution
sholtrop/api_project
sholtrop/async-raft
An implementation of the Raft distributed consensus protocol using the Tokio framework.
sholtrop/boterbotTS
Discord bot written in TypeScript, using Mongoose/MongoDB.
sholtrop/cargo
The Rust package manager
sholtrop/cbindgen
A project for generating C bindings from Rust code
sholtrop/Dark-Souls-Enemy-Randomizer
Randomly replaces enemies and bosses in Dark Souls: PTDE and Remastered
sholtrop/DeepSpeech
DeepSpeech is an open source embedded (offline, on-device) speech-to-text engine which can run in real time on devices ranging from a Raspberry Pi 4 to high power GPU servers.
sholtrop/swe-cicd-presentation
Web-based presentation about CI/CD using Reveal.js: https://sholtrop.github.io/swe-cicd-presentation/
sholtrop/hashbrown
Rust port of Google's SwissTable hash map
sholtrop/inline-python
Inline Python code directly in your Rust code
sholtrop/liacs-coco-public
sholtrop/liacs-create-calendar
sholtrop/named-lock
Cross-platform implementation of cross-process named locks
sholtrop/netlify-cms
A CMS for Static Site Generators
sholtrop/R2Mods
Here's a collection of the Risk of Rain 2 mods I've made so far, entirely open source.
sholtrop/swe-modern-webdev-presentation
Web-based presentation abou webdev using Reveal.js: https://sholtrop.github.io/swe-modern-webdev-presentation/
sholtrop/vdx
:film_strip: An intuitive CLI for processing video, powered by FFmpeg
sholtrop/wasm-sudoku-solver
a WebAssembly-powered AR sudoku solver
sholtrop/z3-rise4fun
Z3 tutorials from the rise4fun website