ENvironmentSet/hyogwa external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ENvironmentSet/hyogwa

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ENvironmentSet/hyogwa)

Close

ENvironmentSet / hyogwaView on GitHubMore

• External links
• Readme badge

Natural 🌿 effect system that fits TypeScript

☆62Aug 22, 2024Updated last year

Alternatives and similar repositories for hyogwa

Users that are interested in hyogwa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• XiNiHa / solid-relay

  View on GitHub
  SolidJS bindings for Relay
  ☆39Mar 7, 2026Updated 2 weeks ago
• rycont / lets-build-interpreter

  View on GitHub
  ☆10Dec 12, 2023Updated 2 years ago
• XiNiHa / relay-zed

  View on GitHub
  Relay support for Zed
  ☆10Sep 25, 2025Updated 5 months ago
• pbkit / wrp-ts

  View on GitHub
  TypeScript Implementation of Webview/Worker Request Protocol
  ☆34Oct 17, 2022Updated 3 years ago
• XiNiHa / relay-onboarding

  View on GitHub
  Relay 온보딩 세션용 슬라이드 + 예제 프로젝트 in TypeScript & ReScript
  ☆20May 9, 2023Updated 2 years ago
• daangn / stackgraph

  View on GitHub
  변수 의존성 관계도와 메타데이터를 정적 분석 및 시각화
  ☆26Mar 2, 2024Updated 2 years ago
• cometkim / deck-dev-dive-2022

  View on GitHub
  Dev Dive 2022 세션 "TDD: 내 코드의 품질을 높여주는 Type-Driven Development" 장표
  ☆12Nov 20, 2022Updated 3 years ago
• kciter / pegboard

  View on GitHub
  The grid based editor for your web applications.
  ☆33Aug 25, 2025Updated 7 months ago
• alstn2468 / functional-programming

  View on GitHub
  Introduction to Functional Programming (Korean)
  ☆35Feb 18, 2024Updated 2 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• ENvironmentSet / esone

  View on GitHub
  Acropolis, where you can experience very first version of ECMAScript.
  ☆29Nov 17, 2025Updated 4 months ago
• taehee-kim-sherpas / turing-frontend-test

  View on GitHub
  ☆112Aug 6, 2024Updated last year
• Lulzx / hvm

  View on GitHub
  A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
  ☆32Feb 22, 2026Updated last month
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• 9beach / hanspell-hs

  View on GitHub
  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Apr 22, 2023Updated 2 years ago
• ENvironmentSet / welltyped

  View on GitHub
  Collection of Dependently-typed stuff
  ☆35Aug 3, 2024Updated last year
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆55Nov 15, 2024Updated last year
• SieR-VR / ts-features

  View on GitHub
  You can use pattern-matching and rust-like error process in TS!
  ☆22May 26, 2025Updated 9 months ago
• ENvironmentSet / ts-transfromer-typerep

  View on GitHub
  Bring type level information to value level.
  ☆19Aug 7, 2024Updated last year
• disjukr / bunja

  View on GitHub
  State Lifetime Manager
  ☆91Jan 26, 2026Updated last month
• phase / dtt

  View on GitHub
  dependent type theory experiment
  ☆26Mar 1, 2024Updated 2 years ago
• ko-translation-team / glossary

  View on GitHub
  번역 표준화를 위한 기술 용어 안내서
  ☆18Jun 25, 2023Updated 2 years ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 5 months ago
• gnoverse / tlin

  View on GitHub
  Advanced Linter for Gno
  ☆14Mar 16, 2026Updated last week
• cometkim / deck-feconf-2022

  View on GitHub
  FEConf 2022 세션 "Edge Computing으로 가져올 웹 개발의 변화" 장표
  ☆20Dec 15, 2023Updated 2 years ago
• green-labs / rescript-bindings

  View on GitHub
  💚 rescript bindings
  ☆49Feb 9, 2026Updated last month
• daangn / permalink

  View on GitHub
  당근마켓 웹 컨텐츠 퍼머링크 스펙 & 레퍼런스 구현 저장소
  ☆40Jul 12, 2023Updated 2 years ago
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆31Updated this week
• hackers-pub / hackerspub

  View on GitHub
  ActivityPub-enabled social network for hackers
  ☆136Updated this week
• nerdchanii / rpm

  View on GitHub
  ☆14May 28, 2023Updated 2 years ago
• kwanghoon / Lecture_EOPL

  View on GitHub
  EOPL in Haskell
  ☆29Mar 11, 2026Updated last week
• cometkim / concurrently.macro

  View on GitHub
  Transform your async function to be run concurrently much as possible
  ☆23Dec 15, 2023Updated 2 years ago
• rescriptbr / radix-ui

  View on GitHub
  ReScript bindings for Radix UI
  ☆15Jul 1, 2023Updated 2 years ago
• kwanghoon / bidi

  View on GitHub
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆20Mar 23, 2022Updated 4 years ago
• mincho-js / mincho

  View on GitHub
  Natural CSS in TypeScript
  ☆61Mar 14, 2026Updated last week
• youknowone / baembal

  View on GitHub
  Boost ast.parse with RustPython-powered parser technology
  ☆15May 23, 2023Updated 2 years ago
• CppKorea / CodeOfConduct

  View on GitHub
  C++ Korea 행동 강령
  ☆25Apr 22, 2022Updated 3 years ago
• ketaro01 / sign-generator

  View on GitHub
  도장 및 서명을 svg 형태로 생성하기 위한 라이브러리 입니다.
  ☆11Dec 5, 2022Updated 3 years ago
• cometkim / espub

  View on GitHub
  Perfect build tool for libraries, powered by esbuild
  ☆171Updated this week