8000 joongwon (μ•ˆμ€‘μ›) / Starred Β· GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View joongwon's full-sized avatar
19 followers · 11 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLO

Block or report joongwon

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Stars

Showing results

Zeta611 / redemon-ui

TypeScript 3 Updated May 19, 2025

bloomwayz / mlang

Forked from Zeta611/M
OCaml 4 Updated May 13, 2025

ocaml / ocaml

The core OCaml system: compilers, runtime system, base libraries

OCaml 5,793 1,146 Updated May 20, 2025

kristiandupont / kanel

Generate Typescript types from Postgres

TypeScript 998 69 Updated May 19, 2025

yhaaan / The-Art-of-Game-Design-Notes

A chapter-by-chapter summary and analysis of The Art of Game Design to explore its insights on game design.

2 1 Updated Apr 4, 2025

c-cube / printbox

print nested boxes, lists, arrays, tables in several formats

OCaml 80 10 Updated May 14, 2025

es-meta / esmeta

ECMAScript Specification (ECMA-262) Metalanguage

Scala 224 17 Updated May 20, 2025

Zeta611 / simplebnf.typ

A simple package to format Backus-Naur form

Typst 12 Updated Jul 10, 2024

Zeta611 / galois-in-coq

πŸ”— Basic theory of Galois connections

Coq 4 Updated Aug 29, 2024

VioletXF / snupl-lsp

C++ 6 Updated Mar 5, 2024

Zeta611 / react-trace

πŸ›€οΈ React-tRace

OCaml 22 Updated Mar 29, 2025

adelsz / pgtyped

pgTyped - Typesafe SQL in TypeScript

TypeScript 3,095 100 Updated May 20, 2025

snu-sf-class / sf202401

μ†Œν”„νŠΈμ›¨μ–΄ μ—„λ°€ 검증

Coq 9 Updated Jul 3, 2024

Zeta611 / easyword

πŸ—£οΈπŸ‡°πŸ‡· Easy Korean Translations of CS Jargons

ReScript 29 2 Updated Apr 2, 2025

JSMonk / hegel

An advanced static type checker

JavaScript 2,095 59 Updated Jan 29, 2024

yhyoon / simba

Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation

Slash 20 2 Updated Dec 3, 2023

upnl / bylaw

1 Updated Dec 23, 2023

Zeta611 / simplesnt

ROPAS Show and Tell LaTeX beamer class

TeX 5 Updated Dec 1, 2023

junu192857 / Dice-31

Dice 31 for 2023 winter NDM

C# 3 Updated May 3, 2023

KudoLayton / Catfish_Unijam

2023 Unijam

C# 6 1 Updated Jan 8, 2023

wafflestudio / waffledotcom-web

Web client repository of WAFFLE.COM

TypeScript 6 2 Updated Mar 23, 2025

snu-sf-class / pp202202

Coq 17 Updated Dec 8, 2022

wafflestudio / seminar-2022

μ™€ν”ŒμŠ€νŠœλ””μ˜€ 20.5κΈ° Rookies Repository

HTML 34 125 Updated Sep 10, 2023

wafflestudio / snugg-server

snugg μ„œλ²„

Python 2 Updated Jul 29, 2022

wafflestudio / snugg-web

TypeScript 1 Updated Jul 29, 2022

wafflestudio19-5 / team1-web

TypeScript 1 2 Updated Feb 3, 2022

wafflestudio / seminar-2021

2021 Rookies μ„Έλ―Έλ‚˜

Python 48 108 Updated Dec 21, 2022
0