nowknowing

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.

asteroid

Asteroid is a modern, multi-paradigm programming language that supports first-class patterns.

Hatena-Textbook

はてな研修用教科書

Logical-Foundations

Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html

opencyc

SoME_Topics

Collaboration / Topic requests for SoME

c2rust

Migrate C code to Rust

kotlin

The Kotlin Programming Language.

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

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

good-soc-mods

SoC mods recommended by seniors :)

fluminurs

A CLI client in Rust to access the reverse-engineered LumiNUS API

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.