Starred repositories
Argus is a lightweight monitor to notify of new software releases via Gotify/Slack/other messages and/or WebHooks.
The Ultimate Chess Toolkit
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
TSS 2.0 Enhanced System API (ESAPI) Rust wrapper
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.
Everything you wish you knew earlier as a Student of CS/Software Engineering
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
Collection of resources about Virtualization
Highlight text on a web page and send it to Google Translate
Clone native desktop UI's like cocoa and develop native feeling applications using web technologies
Rust / Wasm framework for creating reliable and efficient web applications
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
(Rust) Coloring terminal so simple you already know how to do it !
Travis CI and AppVeyor template to test your Rust crate on 5 architectures and publish binary releases of it for Linux, macOS and Windows
Tasks Overview: https://waffle.io/rubyberlin/code-of-conduct
A "Code of Conduct" helps improve diversity and inclusion in a given community, provided it's adequately implemented. So here's an approach that proved successful.
Some of my security stuff and vulnerabilities. Nothing advanced. More to come.




