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

• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• XiNiHa / solid-relay

  View on GitHub
  SolidJS bindings for Relay
  ☆39Feb 26, 2026Updated last week
• XiNiHa / relay-zed

  View on GitHub
  Relay support for Zed
  ☆10Sep 25, 2025Updated 5 months ago
• XiNiHa / relay-onboarding

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

  View on GitHub
  TypeScript Implementation of Webview/Worker Request Protocol
  ☆34Oct 17, 2022Updated 3 years ago
• daangn / stackgraph

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

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• alstn2468 / functional-programming

  View on GitHub
  Introduction to Functional Programming (Korean)
  ☆35Feb 18, 2024Updated 2 years ago
• green-labs / rescript-bindings

  View on GitHub
  💚 rescript bindings
  ☆49Feb 9, 2026Updated 3 weeks ago
• ENvironmentSet / welltyped

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

  View on GitHub
  State Lifetime Manager
  ☆91Jan 26, 2026Updated last month
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 4 months ago
• ko-translation-team / glossary

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

  View on GitHub
  The grid based editor for your web applications.
  ☆33Aug 25, 2025Updated 6 months ago
• ENvironmentSet / ts-transfromer-typerep

  View on GitHub
  Bring type level information to value level.
  ☆19Aug 7, 2024Updated last year
• taehee-kim-sherpas / turing-frontend-test

  View on GitHub
  ☆112Aug 6, 2024Updated last year
• CppKorea / CodeOfConduct

  View on GitHub
  C++ Korea 행동 강령
  ☆25Apr 22, 2022Updated 3 years ago
• 9beach / hanspell-hs

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

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

  View on GitHub
  Acropolis, where you can experience very first version of ECMAScript.
  ☆29Nov 17, 2025Updated 3 months ago
• phase / dtt

  View on GitHub
  dependent type theory experiment
  ☆26Mar 1, 2024Updated 2 years ago
• cometkim / deck-feconf-2022

  View on GitHub
  FEConf 2022 세션 "Edge Computing으로 가져올 웹 개발의 변화" 장표
  ☆20Dec 15, 2023Updated 2 years ago
• 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
• Lulzx / hvm

  View on GitHub
  A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
  ☆31Feb 22, 2026Updated last week
• nerdchanii / rpm

  View on GitHub
  ☆14May 28, 2023Updated 2 years ago
• hanaoverride / english-for-it

  View on GitHub
  영어 공부법을 잘 모르겠고 동기부여에 어려움을 겪는 한국어 모어 영어 학습자를 위한 공부법 안내 리포지토리입니다.
  ☆21Aug 30, 2025Updated 6 months ago
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆19Updated this week
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Feb 18, 2026Updated 2 weeks ago
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆55Nov 15, 2024Updated last year
• hackers-pub / hackerspub

  View on GitHub
  ActivityPub-enabled social network for hackers
  ☆133Updated this week
• mincho-js / mincho

  View on GitHub
  Natural CSS in TypeScript
  ☆61Feb 24, 2026Updated last week
• rescriptbr / radix-ui

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

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

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

  View on GitHub
  A lightweight implementation of the Unicode Text Segmentation (UAX #29)
  ☆98Jan 28, 2026Updated last month
• penxle / withglyph

  View on GitHub
  글리프 - 이야기가 모여 즐거움이 되다
  ☆138Feb 1, 2025Updated last year
• async3619 / cage

  View on GitHub
  (almost) realtime unfollower detection for any social services 🦜⛓️🔒
  ☆30Nov 1, 2024Updated last year
• gnoverse / tlin

  View on GitHub
  Advanced Linter for Gno
  ☆14Feb 16, 2026Updated 2 weeks ago