-
-
ReintroductionToProofs Public
Forked from emilyriehl/ReintroductionToProofsA game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
Lean MIT License UpdatedOct 9, 2026 -
-
NumberTheoryGame Public
Forked from k88-b/NumberTheoryGameAn interactive introduction to Number Theory and modular arithmetic.
Lean UpdatedSep 11, 2026 -
gophplib Public
Forked from portone-io/gophplibgophplib is a collection of PHP functions implemented in Go which have 100% byte-to-byte bug-to-bug behavioral equivalence
Go Other UpdatedSep 10, 2026 -
agda-language-server Public
Forked from agda/agda-language-serverLanguage Server for Agda
Haskell MIT License UpdatedSep 10, 2026 -
-
kime-web Public
Kime in web, with WASM™
-
Korean IME
-
-
-
-
OldTwitter Public
Forked from dimdenGD/OldTwitterExtension to return old Twitter layout from 2015 / 2018.
JavaScript Other UpdatedJul 17, 2026 -
-
tabwrangler Public
Forked from tabwrangler/tabwranglerA browser extension that automatically closes your unused tabs so you can focus on the tabs that matter
TypeScript MIT License UpdatedMay 29, 2026 -
-
-
chocolate Public
초콜릿 프로그래밍 언어 웹 구현체
-
-
tsconfig Public
TypeScript will do it for me
Creative Commons Zero v1.0 Universal UpdatedFeb 21, 2026 -
adventofcode Public
***spoiler warning*** Advent of Code (http://adventofcode.com/) solutions
Haskell UpdatedDec 13, 2025 -
-
android-template Public template
Kotlin BSD 3-Clause "New" or "Revised" License UpdatedAug 23, 2025 -
-
slurp Public
Forked from emersion/slurpSelect a region in a Wayland compositor
C MIT License UpdatedJul 25, 2025 -
-
-
souffle Public
Your FFXIV Inventory helper
TypeScript GNU Affero General Public License v3.0 UpdatedMar 17, 2025 -
ircBot Public archive
하스켈로 작성한 개인용 IRC 봇
-
cinema-finder Public
보고 싶은 영화를 어디서 언제 상영하는지 알려주는 스크립트
{{ message }}