-
-
abstract-machines-playground Public
🛝🤖 Fun with the CEK machine (and more?)
-
-
-
-
-
-
react-trace Public
⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics
-
packages Public
Forked from typst/packagesPackages for Typst.
Rust Apache License 2.0 UpdatedFeb 9, 2026 -
simplebnf.typ Public
A simple package to format Backus-Naur form
-
-
IAVA-Analyzer Public
Forked from HyeongseoYoo/IAVA-AnalyzerInterrupt-Aware Variable Analysis
OCaml UpdatedDec 22, 2025 -
swot Public
Forked from JetBrains/swotIdentify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
Kotlin MIT License UpdatedDec 18, 2025 -
metaocaml-template Public template
MetaOCaml template + Nix flake *that works*
Nix UpdatedDec 11, 2025 -
redemon-ui Public
🧙♀️ Reactive Synthesis by Demonstration for UI
-
-
-
snu-cse-bsc-thesis Public
서울대학교 컴퓨터공학부 학사학위논문 양식 LaTeX 클래스
-
snu-ece-bsc-thesis Public
서울대학교 전기정보공학부 학사학위논문 양식 LaTeX 클래스
-
simplebnf Public
⌥ Simple Backus–Naur form (BNF) LaTeX package
-
-
-
-
-
-
-
-
-
redemon-lang Public
Forked from joongwon/redemon-langLanguage for ReDemon
OCaml UpdatedJun 2, 2025 -
typed_design_patterns Public
Typed Design Patterns for the Functional Era
{{ message }}