ENvironmentSet / welltyped
Collection of Dependently-typed stuff
☆35Updated 5 months ago
Alternatives and similar repositories for welltyped:
Users that are interested in welltyped are comparing it to the libraries listed below
- Acropolis, where you can experience very first version of ECMAScript.☆29Updated 5 months ago
- 웹 접근성 관련 국내외 자료 모음. This is for everyone who is interested in A11y!☆30Updated 5 years ago
- URL-friendly string converter that supports CJK characters☆57Updated last year
- Reliable edge proxy to the Juso API☆44Updated 2 years ago
- 모나드 첫걸음☆38Updated 5 years ago
- (WIP 🔥) 복잡한 프론트엔드 애플리케이션 개발을 위한 생각☆38Updated 5 years ago
- TypeScript Implementation of Webview/Worker Request Protocol☆34Updated 2 years ago
- 용량을 줄인 Noto Sans 및 Noto Serif 가변폰트☆35Updated 2 years ago
- 한글에 초점을 둔 타이핑 애니메이션을 위한 라이브러리☆19Updated last year
- Relay 공식 문서 한국어 번역☆26Updated 2 years ago
- FEConf 2022 세션 "Edge Computing으로 가져올 웹 개발의 변화" 장표☆20Updated last year
- 한국/한국어와 관련된 라이브러리 모음☆35Updated last year
- 재밌는 함수형 이야기 소개하는 가벼운 위키☆23Updated 6 years ago
- 새로운 프로그래밍 언어와 함께 겨울나기☆49Updated 3 years ago
- 🛠 React development scripts for web apps and electron apps (similar to react-scripts)☆27Updated 3 years ago
- 을유문화사에서 만든 을유1945 폰트를 웹에서 손쉽게 사용할 수 있는 환경을 제공합니다.☆25Updated 2 years ago
- (WIP) iOS Safari and WKWebview testing library with playwright compatible API☆10Updated 2 years ago
- Korean translation of Gatsbyjs.org☆29Updated 2 years ago
- hwp toolkit☆37Updated 4 years ago
- 🎡 Pure React SSR with Code Splitting☆17Updated 5 years ago
- 🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚☆36Updated 2 years ago
- 푸리에 변환 실험실☆44Updated 4 years ago
- 패스워드 길이 제한이 쪼그맣고 아기자기한 취약한 사이트 모음☆47Updated 3 weeks ago
- 용량을 0.3MB로 줄인 노토산스 KR 가변 폰트☆32Updated 2 years ago
- jsx스럽게 생긴 문자열을 파싱하여 React 노드로 변환해줍니다.☆23Updated last month
- 🎉 JSConf Korea 2020 Website☆37Updated 2 years ago
- 한글로 적힌 한국어 수사를 숫자로 변환하는 자바스크립트 라이브러리입니다.☆44Updated 2 years ago
- SAM.js 패턴 한국어 번역본 저장소입니다☆16Updated 7 years ago
- 2011-2018 indistreet.com dataset☆30Updated 3 years ago