Collection of Dependently-typed stuff
☆34Aug 3, 2024Updated 2 years ago
Alternatives and similar repositories for welltyped
Users that are interested in welltyped are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Acropolis, where you can experience very first version of ECMAScript.☆30Nov 17, 2025Updated 11 months ago
- Personal blog of ENvironmentSet based on oversomething.☆14Oct 29, 2024Updated 2 years ago
- 🎡 Pure React SSR with Code Splitting☆17Dec 7, 2019Updated 6 years ago
- 함수형 난해한 언어 '평범한 한글'의 명세와 구현체입니다.☆56May 9, 2026Updated 5 months ago
- Compose multiple forms into a single form wizard using a monadic approach.☆21Sep 28, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Natural 🌿 effect system that fits TypeScript☆62Aug 22, 2024Updated 2 years ago
- URL-friendly string converter that supports CJK characters☆58Sep 30, 2025Updated last year
- 모나드 첫걸음☆41Mar 18, 2019Updated 7 years ago
- gophplib is a collection of PHP functions implemented in Go which have 100% byte-to-byte bug-to-bug behavioral equivalence☆27Jul 9, 2026Updated 3 months ago
- 자연스러운 한국어를 꿈꾸는 프로그래밍 언어 '찰떡'☆35Sep 20, 2025Updated last year
- Normalize CJK characters in text☆14Sep 30, 2025Updated last year
- jsx스럽게 생긴 문자열을 파싱하여 React 노드로 변환해줍니다.☆23Dec 4, 2024Updated last year
- Text Editor SAN for Korean on DOS☆47Feb 23, 2025Updated last year
- Transform tagged Markdown string to HTML during build time.☆23May 22, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Get an array of all distinct NaN values supported by the engine. There can be only one!☆11Oct 27, 2022Updated 4 years ago
- Competitive programming practice☆14Apr 28, 2026Updated 6 months ago
- 🏴☠️ website (i14 pro, crafted, 🏝️)☆19Jan 1, 2023Updated 3 years ago
- 역대 디미고 급식에서 감자가 들어간 메뉴를 전부 찾아줍니다.☆11Dec 13, 2018Updated 7 years ago
- 📦 Initialize JSON data according to type schema☆10May 10, 2021Updated 5 years ago
- 한국어 조사를 완성해주는 자바스크립트 라이브러리✌☆58Jan 18, 2024Updated 2 years ago
- 두물머리의 새 동료를 찾습니다.☆14Jan 18, 2019Updated 7 years ago
- ✏️ LangDev Team Blog☆22Sep 10, 2026Updated last month
- modern problem-solvers require modern toolchains.☆18Aug 14, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- this is vue decorator utils☆32Nov 15, 2019Updated 6 years ago
- Sonamu Base Repository☆24Updated this week
- Bi-directional record in type-safe way☆18Aug 13, 2026Updated 2 months ago
- Decoration link☆29Aug 27, 2019Updated 7 years ago
- 🗣️ Rust port of pySBD and pragmatic-segmenter☆12Mar 12, 2025Updated last year
- Minecraft command script library☆11Dec 21, 2024Updated last year
- A lightweight implementation of the Unicode Text Segmentation (UAX #29)☆113Jul 29, 2026Updated 3 months ago
- vector formatter for chrome devtools☆46Apr 13, 2016Updated 10 years ago
- 행정안전부에서 마련한 〈디지털 정부서비스 UI/UX 가이드라인〉을 준수하는 것을 목표로 삼고 있는 크로스-프레임워크 컴포넌트 라이브러리이다.☆11Apr 24, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 약속 프로그래밍 언어☆176Apr 1, 2022Updated 4 years ago
- Web Front-end Frameword Svelte의 한국어 번역 페이지 입니다.☆19Mar 1, 2023Updated 3 years ago
- 누리 : 함수형 한글 프로그래밍 언어☆372Mar 3, 2025Updated last year
- JSON/YAML Type Checker☆14Mar 8, 2026Updated 7 months ago
- Simple AWS ELB log parser which parses Classic LB and ALB logs into JSONs☆18May 2, 2025Updated last year
- Library for functional programming☆11Sep 23, 2019Updated 7 years ago
- HTML DOM Bindings for the Functional Extensions for Javascript☆58Apr 15, 2024Updated 2 years ago