8 results found Sort:
- Filter by Primary Language:
- Haskell (3)
- TypeScript (3)
- PureScript (1)
- Rust (1)
- +
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Created
2016-10-17
313 commits to master branch, last one 12 days ago
Mu (μ) is a purely functional framework for building micro services.
This repository has been archived
(exclude archived)
Created
2019-09-27
313 commits to master branch, last one about a year ago
A simple Purescript JSON library that uses types automatically
Created
2017-07-13
172 commits to master branch, last one about a year ago
A proof of concept of a tree shakable Zod alternative. This library aims to have a 1:1 Zod compatible API, but with fine grain control over the final bundle size. This was done by a combination of Pro...
Created
2023-08-16
37 commits to main branch, last one 7 months ago
🎯 IO with Exceptions tracked on the type-level
Created
2021-03-20
5 commits to main branch, last one 3 years ago
💄🐞 Combinators for writing pretty type errors easily
Created
2019-07-13
14 commits to main branch, last one 3 years ago
Tartak is a functional programming language that compiles to TypeScript types.
Created
2024-04-09
37 commits to master branch, last one 3 months ago
A tool for evaluating TypeScript types step by step.
Created
2023-07-05
62 commits to main branch, last one 11 months ago