Collection of Dependently-typed stuff
☆35Aug 3, 2024Updated last year
Alternatives and similar repositories for welltyped
Users that are interested in welltyped are comparing it to the libraries listed below
Sorting:
- Acropolis, where you can experience very first version of ECMAScript.☆29Nov 17, 2025Updated 3 months ago
- Personal blog of ENvironmentSet based on oversomething.☆14Oct 29, 2024Updated last year
- Compose multiple forms into a single form wizard using a monadic approach.☆21Sep 28, 2025Updated 5 months ago
- Bring type level information to value level.☆19Aug 7, 2024Updated last year
- Transform tagged Markdown string to HTML during build time.☆24May 22, 2023Updated 2 years ago
- Bi-directional record in type-safe way☆17Sep 26, 2024Updated last year
- URL-friendly string converter that supports CJK characters☆58Sep 30, 2025Updated 5 months ago
- Normalize CJK characters in text☆14Sep 30, 2025Updated 5 months ago
- 모나드 첫걸음☆41Mar 18, 2019Updated 6 years ago
- Natural 🌿 effect system that fits TypeScript☆62Aug 22, 2024Updated last year
- 함수형 난해한 언어 '평범한 한글'의 명세와 구현체입니다.☆56Nov 22, 2025Updated 3 months ago
- WebAssembly interpreter in a Header (WAH)☆31Oct 6, 2025Updated 4 months ago
- Competitive programming practice☆14Jan 20, 2022Updated 4 years ago
- Simple AWS ELB log parser which parses Classic LB and ALB logs into JSONs☆18May 2, 2025Updated 9 months ago
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- jsx스럽게 생긴 문자열을 파싱하여 React 노드로 변환해줍니다.☆24Dec 4, 2024Updated last year
- DOS Program Development☆13Nov 9, 2022Updated 3 years ago
- A lightweight implementation of the Unicode Text Segmentation (UAX #29)☆98Jan 28, 2026Updated last month
- 🎡 Pure React SSR with Code Splitting☆17Dec 7, 2019Updated 6 years ago
- 자연스러운 한국어를 꿈꾸는 프로그래밍 언어 '찰떡'☆35Sep 20, 2025Updated 5 months ago
- ✏️ LangDev Team Blog☆22Jun 9, 2023Updated 2 years ago
- 🏴☠️ website (i14 pro, crafted, 🏝️)☆20Jan 1, 2023Updated 3 years ago
- 두물머리의 새 동료를 찾습니다.☆14Jan 18, 2019Updated 7 years ago
- State Lifetime Manager☆91Jan 26, 2026Updated last month
- Rust-based Lua runtime for cryptocurrency trading☆22Jun 14, 2025Updated 8 months ago
- 한국어 조사를 완성해주는 자바스크립트 라이브러리✌☆59Jan 18, 2024Updated 2 years ago
- nginx.conf of my servers☆10Apr 3, 2018Updated 7 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- msx game development library ubox example☆11Apr 26, 2023Updated 2 years ago
- Deno Korea Community Website☆10Aug 25, 2022Updated 3 years ago
- 비즈엠 개발 서버에서 전화번호 인증을 쉽게 할 수 있는 웹사이트입니다.☆10Feb 27, 2023Updated 3 years ago
- 📦 Initialize JSON data according to type schema☆11May 10, 2021Updated 4 years ago
- Get an array of all distinct NaN values supported by the engine. There can be only one!☆12Oct 27, 2022Updated 3 years ago
- 행정안전부에서 마련한 〈디지털 정부서비스 UI/UX 가이드라인〉을 준수하는 것을 목표로 삼고 있는 크로스-프레임워크 컴포넌트 라이브러리이다.☆11Apr 24, 2024Updated last year
- Minecraft command script library☆11Dec 21, 2024Updated last year
- gophplib is a collection of PHP functions implemented in Go which have 100% byte-to-byte bug-to-bug behavioral equivalence☆27May 17, 2024Updated last year
- experimental naru programming language implementation☆10Jan 3, 2023Updated 3 years ago
- An experimental repository for exploring DSL ideas and improvements as a community.☆14May 19, 2022Updated 3 years ago
- private repository for studying☆12Jul 20, 2025Updated 7 months ago