ENvironmentSet / welltyped
Collection of Dependently-typed stuff
☆35Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for welltyped
- 모나드 첫걸음☆38Updated 5 years ago
- Acropolis, where you can experience very first version of ECMAScript.☆29Updated 3 months ago
- Reliable edge proxy to the Juso API☆44Updated 2 years ago
- 새로운 프로그래밍 언어와 함께 겨울나기☆48Updated 2 years ago
- FEConf 2022 세션 "Edge Computing으로 가져올 웹 개발의 변화" 장표☆20Updated 11 months ago
- (WIP 🔥) 복잡한 프론트엔드 애플리케이션 개발을 위한 생각☆38Updated 5 years ago
- URL-friendly string converter that supports CJK characters☆57Updated last year
- 웹 접근성 관련 국내외 자료 모음. This is for everyone who is interested in A11y!☆30Updated 5 years ago
- 재밌는 함수형 이야기 소개하는 가벼운 위키☆23Updated 6 years ago
- Relay 공식 문서 한국어 번역☆26Updated last year
- TypeScript Implementation of Webview/Worker Request Protocol☆34Updated 2 years ago
- Dev Dive 2022 세션 "TDD: 내 코드의 품질을 높여주는 Type-Driven Development" 장표☆12Updated 2 years ago
- 🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚☆34Updated 2 years ago
- (WIP) iOS Safari and WKWebview testing library with playwright compatible API☆10Updated 2 years ago
- 용량을 줄인 Noto Sans 및 Noto Serif 가변폰트☆35Updated 2 years ago
- 🎡 Pure React SSR with Code Splitting☆17Updated 4 years ago
- jsx스럽게 생긴 문자열을 파싱하여 React 노드로 변환해줍니다.☆22Updated 5 years ago
- 🛠 React development scripts for web apps and electron apps (similar to react-scripts)☆27Updated 3 years ago
- 한국/한국어와 관련된 라이브러리 모음☆34Updated last year
- Personal blog of ENvironmentSet based on oversomething.☆13Updated 3 weeks ago
- 🎉 JSConf Korea 2020 Website☆37Updated last year
- 한글로 적힌 한국어 수사를 숫자로 변환하는 자바스크립트 라이브러리입니다.☆44Updated 2 years ago
- 2011-2018 indistreet.com dataset☆30Updated 3 years ago
- 당근마켓 웹 컨텐츠 퍼머링크 스펙 & 레퍼런스 구현 저장소☆40Updated last year
- 한글에 초점을 둔 타이핑 애니메이션을 위한 라이브러리☆19Updated last year
- 군대의 남은 복무일수를 매일 정해진 시간에 Slack으로 알려주는 챗봇입니다.☆31Updated 5 years ago
- 지금 보고 있는 기사를 작성한 기자의 다른 기사 목록을 보여주는 크롬 브라우저의 확장 프로그램☆36Updated 5 years ago
- 을유문화사에서 만든 을유1945 폰트를 웹에서 손쉽게 사용할 수 있는 환경을 제공합니다.☆25Updated last year