Alternatives

Products that do what type-kanren – type-level microKanren in TypeScript does

1. 1KA
   Koda, a typesafe functional toolkit for Python▲110

   2022 · pypi.org

2. 2NR
   Noact – React-like Virtual DOM library in 70 lines of TypeScript▲50

   2020 · github.com

3. 3TT
   TypeScript to GraphQL conversion tool with type inference▲90

   2018 · github.com

4. 4TA
   TypeIt – A Versatile JavaScript Animated Typing Utility▲87

   2021 · typeitjs.com

5. 5AP
   A powerful bitstream library for TypeScript▲39

   2022 · github.com

6. 6CA
   Codewich – A live-updating TypeScript/CSS/HTML playground▲114

   2017 · codewich.com

7. 7CL
   Connective – Large-scale reactive programming in Javascript/Typescript▲59

   2019 · connective.dev

8. 8MJ
   Micro JavaScript framework inspired by finite-state machine▲60

   2018 · github.com

9. 9LR
   Lightweight runtime types for vanilla JavaScript▲19

   2020 · github.com

10. 10MJ
    multimethod.js - a Clojure-inspired multimethod library for JavaScript▲49

    2011 · krisjordan.com

11. 11TL
    Type-level Lambda Calculus interpreter in TypeScript▲10

    2021 · github.com

12. 12TC
    TQL – Codegen-free and typesafe GraphQL operations in TypeScript▲11

    2020 · github.com

13. 13AT
    A TypeScript Playground for RX JS▲22

    2019 · blog.hediet.de

14. 14CA
    Curveball, a microframework in TypeScript with AWS Lambda support▲7

    2020 · evertpot.com

15. 15SA
    Servant – A Haskell web framework with type-level API DSL▲55

    2015 · haskell-servant.github.io

16. 16SD
    Schema-DTS, TypeScript Shims for Schema.org and the Semantic Web▲27

    2019 · github.com

17. 17AO
    An opinionated approach to have type safety in native JavaScript▲19

    2015 · rafelsberger.at

18. 18QA
    Qew – a tiny queueing library written in TypeScript▲14

    2020 · github.com

19. 19XE
    Xtypejs – Efficient data-validating pseudo types for JavaScript▲10

    2015 · github.com

20. 20MO
    Mostly ORMless – Ergonomic Postgres from TypeScript▲14

    2019 · github.com

21. 21CA
    Curveball – A web framework in Typescript with support for HTTP/2 push▲17

    2018 · github.com

22. 22TH
    TypeScript Hack – Type System Text Adventure▲7

    2020 · ricklove.me

23. 23ZT
    Zod – TypeScript-first validation library with static type inference▲5

    2020 · github.com

24. 24TA
    Temperor – A NoMVC Polymorphic JavaScript Framework▲14

    2015 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →