8000 jinwoo (Jinwoo Lee) / Starred · GitHub
[go: up one dir, main page]
Skip to content
View jinwoo's full-sized avatar
106 followers · 0 following
  • Google
  • SF Bay Area, CA

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@google @jslicense

Block or report jinwoo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

eliben / letsbuildacompiler

Re-implementation of the Let's Build a Compiler tutorial in Python, emitting WASM

Python 165 13 Updated Dec 10, 2025

SWI-Prolog / swipl-devel

SWI-Prolog Main development repository

C 1,305 6455 218 Updated Nov 7, 2026

jsoftware / jsource

J engine source mirror

C 744 113 Updated Nov 7, 2026

rabbibotton / clog

CLOG - The Common Lisp Omnificent GUI

Common Lisp 1,761 122 Updated Oct 30, 2026

UlfNorell / agda-prelude

Programming library for Agda

Agda 135 23 Updated Aug 22, 2024

digitallyinduced / ihp

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Haskell 5,379 226 Updated Nov 7, 2026

StanfordSNR / puffer

Puffer is a free live TV streaming website and a research study at Stanford using machine learning to improve video streaming

C++ 922 144 Updated Nov 7, 2026

google / haskell-indexer

Emits code crossreference data for Haskell sources.

Haskell 103 19 Updated Feb 14, 2025
0