Lists (23)
📱 applications
fully packaged codes🕶️ awesomes
curated list of awesome things🚧 frameworks
lego pieces to play around with🥷 cybersecurities
defending by being offensive📝 editors
programmer's friend🎨 fonts
pretty squiggly lines that are readable🎮 games
it's all fun and games until you code it yourself🎛 hardwares
beep boop bap boop📚 libraries
libraries that make my life eaiser🧠 machine learnings
big machines supercharged with statistics⚙️ operating systems
haha computer go brrr📃 papers
big brain scribbly thingy🔤 programming languages
how to talk to a computer✏️ resources
curated list of useful information, but still not that awesome🍚 rices
sexy lookin' desktops🍽 services
my internet addiction powerhouse🐚 shells
run programs like a hacker👀 stargazes
can i get your autograph pls🦄 emacses
emacs the best📐 utilities
small programs that make my life better✅ verifications
are you sure that your code won't shit itself?🕸 webs
dive into the interwebz🌟 weirdnesses
experiments, jokes, shitposts, and anything weirdStars
Automatic verification of LLVM optimizations
a language for fast, portable data-parallel computation
PyRe will be a very fast and compliant implementation of the Python language.
Words Finder helps Japanese learners find unknown words in subtitle files and suggests what to learn next using their Anki decks and example sentences.
A literal credit-card sized computer with E-Paper display, ESP32 and NFC.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Automated developer-oriented status page with alerting and incident support
A Python-based HDL and framework for silicon-based witchcraft
Structured Editing and Navigation in Emacs with Tree-Sitter
generic session process with init-agnostic user services and graceful session log out written in posix shell
💊 Android manager for ReVanced, Morphe, and Reseam with third-party patch bundles, batch and automatic repatching, advanced installers, APK tools, and deep customization.
A compiled programming language with Korean keywords, written in Rust
Send push notifications to your phone or desktop using PUT/POST
A superset of Lua 5.5 with a focus on general-purpose programming.
A type-safe, component-based language for building reactive WASM web apps.
NEO Emacs (WIP): GPU powered Emacs written in Rust with a modern display engine. Aiming for modern design & multi-threaded Elisp, 10x performance, zero-pause concurrent GC and 100% Emacs compatibil…