Small library for describing HKTs in TypeScript
☆32May 9, 2018Updated 8 years ago
Alternatives and similar repositories for TypeProps
Users that are interested in TypeProps are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Companion to the youtube series☆15Dec 2, 2025Updated 11 months ago
- playground for type-level primitives in TypeScript☆174Feb 19, 2025Updated last year
- pointfree anything☆24Sep 14, 2018Updated 8 years ago
- Support for opaque and nominal types in typescript via a transformation.☆13Jul 5, 2018Updated 8 years ago
- *UNMAINTAINED* type definitions (for TypeScript) for JavaScript library Sanctuary☆12May 21, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MTL-style in TypeScript☆25Feb 27, 2018Updated 8 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- ☆12Jun 11, 2019Updated 7 years ago
- Re-render virtual DOM when interesting things (page events) happen, without observables☆21Mar 12, 2016Updated 10 years ago
- Port of Lumi's Form DSL to fp-ts☆17Mar 27, 2022Updated 4 years ago
- Combination of a free applicative functor and free monad☆58Aug 9, 2020Updated 6 years ago
- External Webpack Component Plugin☆13Aug 20, 2021Updated 5 years ago
- fp-ts bindings for Fluture☆50Mar 10, 2020Updated 6 years ago
- Collaborative chat using Fireproof☆16Dec 4, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Algebraic effects and handlers using generators☆56Oct 26, 2026Updated last week
- A simple word-counting demo to showcase Neon.☆31Aug 21, 2017Updated 9 years ago
- (experiment) Composable effects with one-shot continuations for JavaScript!☆18Nov 27, 2018Updated 7 years ago
- AEFS, a cryptographic filesystem for Linux☆13Apr 1, 2021Updated 5 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- A language for data modeling and incremental computing of derived values☆11May 7, 2024Updated 2 years ago
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 10 months ago
- illium full node implementation written in Go☆14Sep 3, 2024Updated 2 years ago
- dashboard/alert/monitor for the numbat-powered metrics system☆25May 5, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Funny little Haskell impl☆18Oct 28, 2020Updated 6 years ago
- Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using …☆13Feb 20, 2024Updated 2 years ago
- NPR allows you to run your CLI dependencies without having a copy in node_modules.☆16Jan 20, 2023Updated 3 years ago
- Simple streamable state machine that implements a useful channel, message-type, message pattern☆39Aug 3, 2020Updated 6 years ago
- Do so much with so little - Arc inspired LISP which compiles to Javascript☆11Apr 3, 2018Updated 8 years ago
- Repository for documents and experiments to do with algebraically-indexed types☆13Mar 23, 2014Updated 12 years ago
- Generate regular expressions from regjsparser’s AST.☆32Oct 11, 2026Updated 3 weeks ago
- ☆16Aug 16, 2018Updated 8 years ago
- Alternative syntax for prop types providing both static and runtime type safety, powered by io-ts☆175Feb 5, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 🗺 Elixir wrapper for REST Countries API☆15Oct 23, 2017Updated 9 years ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated last year
- Home manager module for themeing programs with base16 templates☆24Sep 4, 2020Updated 6 years ago
- A simple, serializable sum-type format☆42Feb 28, 2024Updated 2 years ago
- ☆10Aug 17, 2022Updated 4 years ago
- Libraries for working with file formats in Nintendo DS games☆12Nov 20, 2022Updated 3 years ago
- deSEC.io provider for octoDNS☆11Oct 12, 2026Updated 3 weeks ago