ENvironmentSet / welltyped
Collection of Dependently-typed stuff
☆35Updated 9 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 8 months ago
- TypeScript Implementation of Webview/Worker Request Protocol☆34Updated 2 years ago
- 웹 접근성 관련 국내외 자료 모음. This is for everyone who is interested in A11y!☆30Updated 5 years ago
- 모나드 첫걸음☆41Updated 6 years ago
- URL-friendly string converter that supports CJK characters☆57Updated last year
- Reliable edge proxy to the Juso API☆44Updated 2 years ago
- 재밌는 함수형 이야기 소개하는 가벼운 위키☆23Updated 7 years ago
- (WIP 🔥) 복잡한 프론트엔드 애플리케이션 개발을 위한 생각☆38Updated 5 years ago
- jsx스럽게 생긴 문자열을 파싱하여 React 노드로 변환해줍니다.☆24Updated 5 months ago
- 한글에 초점을 둔 타이핑 애니메이션을 위한 라이브러리☆19Updated last year
- FEConf 2022 세션 "Edge Computing으로 가져올 웹 개발의 변화" 장표☆20Updated last year
- 🛠 React development scripts for web apps and electron apps (similar to react-scripts)☆27Updated 3 years ago
- React's Array based Modal Supervisor☆13Updated 2 years ago
- 을유문화사에서 만든 을유1945 폰트를 웹에서 손쉽게 사용할 수 있는 환경을 제공합니다.☆25Updated 2 years ago
- 새로운 프로그래밍 언어와 함께 겨울나기☆49Updated 3 years ago
- 푸리에 변환 실험실☆44Updated 4 years ago
- 🎡 Pure React SSR with Code Splitting☆17Updated 5 years ago
- SAM.js 패턴 한국어 번역본 저장소입니다☆16Updated 8 years ago
- Dev Dive 2022 세션 "TDD: 내 코드의 품질을 높여주는 Type-Driven Development" 장표☆12Updated 2 years ago
- 한국/한국어와 관련된 라이브러리 모음☆36Updated 2 years ago
- 패스워드 길이 제한이 쪼그맣고 아기자기한 취약한 사이트 모음☆47Updated 2 months ago
- 2011-2018 indistreet.com dataset☆30Updated 3 years ago
- 신입 엔지니어를 위한 개발 가이드☆10Updated 5 years ago
- 마이크로소프트 기술 블로그 한국어판 | Microsoft tech blogs in Korean☆68Updated last year
- Korean translation of Gatsbyjs.org☆29Updated 3 months ago
- 이상한모임 공동 번역☆41Updated 6 years ago
- Apple Login Example☆39Updated 5 years ago
- ☆17Updated 5 years ago
- Relay 공식 문서 한국어 번역☆25Updated 2 years ago
- 훈련소 갔을때 편지써줄 여자친구가 있으면 좋겠다☆29Updated 7 years ago