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
Sorting:
- β36Nov 7, 2025Updated 3 months ago
- SolidJS bindings for Relayβ39Feb 26, 2026Updated last week
- Relay support for Zedβ10Sep 25, 2025Updated 5 months ago
- Relay μ¨λ³΄λ© μΈμ μ© μ¬λΌμ΄λ + μμ νλ‘μ νΈ in TypeScript & ReScriptβ20May 9, 2023Updated 2 years ago
- TypeScript Implementation of Webview/Worker Request Protocolβ34Oct 17, 2022Updated 3 years ago
- λ³μ μμ‘΄μ± κ΄κ³λμ λ©νλ°μ΄ν°λ₯Ό μ μ λΆμ λ° μκ°νβ26Mar 2, 2024Updated 2 years ago
- β10Nov 20, 2023Updated 2 years ago
- β14Feb 26, 2024Updated 2 years ago
- Introduction to Functional Programming (Korean)β35Feb 18, 2024Updated 2 years ago
- π rescript bindingsβ49Feb 9, 2026Updated 3 weeks ago
- Collection of Dependently-typed stuffβ35Aug 3, 2024Updated last year
- State Lifetime Managerβ91Jan 26, 2026Updated last month
- π (WIP) Rewriting Software Foundations in Lean 4β28Oct 24, 2025Updated 4 months ago
- λ²μ νμ€νλ₯Ό μν κΈ°μ μ©μ΄ μλ΄μβ18Jun 25, 2023Updated 2 years ago
- The grid based editor for your web applications.β33Aug 25, 2025Updated 6 months ago
- Bring type level information to value level.β19Aug 7, 2024Updated last year
- β112Aug 6, 2024Updated last year
- C++ Korea νλ κ°λ Ήβ25Apr 22, 2022Updated 3 years ago
- (μ£Ό)λ€μκ³Ό λΆμ°λνκ΅ μΈκ³΅μ§λ₯μ°κ΅¬μ€/(μ£Ό)λλΌμΈν¬ν ν¬μ μΉ μλΉμ€λ₯Ό μ΄μ©ν νκΈ λ§μΆ€λ² κ²μ¬κΈ°.β26Apr 22, 2023Updated 2 years ago
- Dev Dive 2022 μΈμ "TDD: λ΄ μ½λμ νμ§μ λμ¬μ£Όλ Type-Driven Development" μ₯νβ12Nov 20, 2022Updated 3 years ago
- Acropolis, where you can experience very first version of ECMAScript.β29Nov 17, 2025Updated 3 months ago
- dependent type theory experimentβ26Mar 1, 2024Updated 2 years ago
- FEConf 2022 μΈμ "Edge ComputingμΌλ‘ κ°μ Έμ¬ μΉ κ°λ°μ λ³ν" μ₯νβ20Dec 15, 2023Updated 2 years ago
- You can use pattern-matching and rust-like error process in TS!β22May 26, 2025Updated 9 months ago
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.β31Feb 22, 2026Updated last week
- β14May 28, 2023Updated 2 years ago
- μμ΄ κ³΅λΆλ²μ μ λͺ¨λ₯΄κ² κ³ λκΈ°λΆμ¬μ μ΄λ €μμ κ²ͺλ νκ΅μ΄ λͺ¨μ΄ μμ΄ νμ΅μλ₯Ό μν 곡λΆλ² μλ΄ λ¦¬ν¬μ§ν 리μ λλ€.β21Aug 30, 2025Updated 6 months ago
- π A Rocq library written by members of PnV Discord Serverβ19Updated this week
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β20Feb 18, 2026Updated 2 weeks ago
- CIRC: Concurrent Immediate Reference Countingβ55Nov 15, 2024Updated last year
- ActivityPub-enabled social network for hackersβ133Updated this week
- Natural CSS in TypeScriptβ61Feb 24, 2026Updated last week
- ReScript bindings for Radix UIβ15Jul 1, 2023Updated 2 years ago
- Boost ast.parse with RustPython-powered parser technologyβ15May 23, 2023Updated 2 years ago
- λΉκ·Όλ§μΌ μΉ μ»¨ν μΈ νΌλ¨Έλ§ν¬ μ€ν & λ νΌλ°μ€ ꡬν μ μ₯μβ40Jul 12, 2023Updated 2 years ago
- A lightweight implementation of the Unicode Text Segmentation (UAX #29)β98Jan 28, 2026Updated last month
- κΈλ¦¬ν - μ΄μΌκΈ°κ° λͺ¨μ¬ μ¦κ±°μμ΄ λλ€β138Feb 1, 2025Updated last year
- (almost) realtime unfollower detection for any social services π¦βοΈπβ30Nov 1, 2024Updated last year
- Advanced Linter for Gnoβ14Feb 16, 2026Updated 2 weeks ago