nowknowing's starred repositories
noboilerplate
Code for my talks on the No Boilerplate channel
subi-public
English to RegEx converter, powered by gpt-3.5-turbo and Vercel Edge Functions.
Hatena-Textbook
はてな研修用教科書
Logical-Foundations
Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html
SoME_Topics
Collaboration / Topic requests for SoME
yellowpaper
The "Yellow Paper": Ethereum's formal specification
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
good-soc-mods
SoC mods recommended by seniors :)
tech-interview-handbook
💯 Curated coding interview preparation materials for busy software engineers
awesome-portfolio-websites
A community maintained open source project aimed at making a personal portfolio for researchers, developers, and analysts simple, fast, and less cumbersome. We make sure you have a full-fledged website to showcase your work while you can spend time on your learning and innovative endeavors.
developer-roadmap
Interactive roadmaps, guides and other educational content to help developers grow in their careers.