Popular repositories Loading

1. ku-plrg.github.io ku-plrg.github.io Public

   Forked from ku-plrg/ku-plrg.github.io

   연구실 홈페이지

   SCSS

2. esmeta esmeta Public

   Forked from es-meta/esmeta

   ECMAScript Specification (ECMA-262) Metalanguage

   Scala

3. ecma262 ecma262 Public

   Forked from tc39/ecma262

   Status, process, and documents for ECMA-262

   HTML

4. github-readme-stats github-readme-stats Public

   Forked from anuraghazra/github-readme-stats

   ⚡ Dynamically generated stats for your github readmes

   JavaScript

5. mini-typescript mini-typescript Public

   Forked from sandersn/mini-typescript

   A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler

   TypeScript

6. software-foundations-lean software-foundations-lean Public

   Forked from PnVDiscord/software-foundations-lean

   📚 (WIP) Rewriting Software Foundations in Lean 4

   Lean 1