Learnify – Online Education & Courses Elementor Pro Template Kit
kalkis-research.com·15h
🎓Teaching Compilers
Flag this post
I built a web tool that audits typography, performance, and accessibility across any site — looking for developer feedback
🎮Language Ergonomics
Flag this post
Project to learn an embeddable scripting language
🌙Lua
Flag this post
Go on an AI Detox
🎭Program Synthesis
Flag this post
Weekly Bookmarks
inkdroid.org·13h
🪢Rope Data Structures
Flag this post
Just select any text to read aloud to you, a simple browser extension
💬Interactive REPLs
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
The Sacrilegious Coder
📚Self-Documenting Code
Flag this post
Building Tornago: A Go Library for Tor Integration Born from Fraud Prevention Needs
🌍Minimal HTTP
Flag this post
Got tired of Facebook/Google News for my info - made an RSS aggregator instead
🏠indieweb
Flag this post
I built a markdown-native todo manager with vim keybindings for the terminal (tdx)
💻Terminal UIs
Flag this post
I built a CLI tool with a TUI dashboard to monitor website/API health. Currently Node.js, but porting to Rust!
🚂Cranelift IR
Flag this post
My Thoughts on Claude Code Web - Non-SDE
⚡Live Coding
Flag this post
Loading...Loading more...