Starred repositories
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
Frequently asked questions about Entity Component Systems
Obsidian 🤝 Neovim (actively maintained version)
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Collection of publicly available IPTV channels from all over the world
A tiny (286 bytes) state manager for React/RN/Preact/Vue/Svelte with many atomic tree-shakable stores
A curated list of awesome LLVM (including Clang, etc) related resources.
Compiler for a toy programming language with an MLIR backend
DO NOT DOWNLOAD FIRMWARE FROM HERE..... GO TO https://caniusevia.com/docs/download_firmware
Legacy Zulip mobile apps for Android and iOS
A huge blocklist of manually curated sites that contain AI generated imagery for uBlock Origin & uBlacklist.
secure-compilation / SECOMP
Forked from AbsInt/CompCertSECOMP formally secure compiler for compartmentalized C programs (based on CompCert)
Migrate to PostgreSQL in a single command!
Obsidian.md stands out as an exceptional note-taking application tailored specifically for academic writing. This repository is part of the activities for the Systematic Literature Review using AI …
TOTEM is a 38 keys column-staggered split keyboard. It meant to be used with a SEEED XIAO BLE or RP2040
Example project from my talks in the LLVM Social Berlin and C++ User Group
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
Easily build and run CHERI related projects
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.