Alternatives

Products that do what Type-level Lambda Calculus interpreter in TypeScript does

1. 1CA
   Caramel – a modern syntax for the lambda calculus▲130

   2015 · github.com

2. 2LA
   Lambdacult, a low-cost alternative to API Gateway for Lambda functions▲47

   2017 · lambdacult.com

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

   2018 · github.com

4. 4ST
   Scala-ts – Scala to TypeScript compiler▲66

   2016 · github.com

5. 5LC
   Lambda Calculus in Python▲5

   2020 · github.com

6. 6EA
   Eole, a Lévy-optimal lambda calculus evaluator written in Rust▲106

   2019 · github.com

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

   2019 · connective.dev

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

   2015 · haskell-servant.github.io

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

   2022 · pypi.org

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

    2022 · github.com

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

    2020 · evertpot.com

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

    2020 · github.com

13. 13WJ
    Wu.js – Higher order functions for ES6 iterators▲56

    2014 · fitzgen.github.io

14. 14AL
    A Lisp interpreter in C# 7▲30

    2018 · github.com

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

    2020 · github.com

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

    2019 · blog.hediet.de

17. 17CA
    Curated and Supported AWS Lambda Functions▲7

    2016 · opszero.com

18. 18RM
    Result monad for Elixir inspired by Rust Result type▲39

    2021 · hexdocs.pm

19. 19AL
    A lambda expression visualizer for the web▲43

    2013 · brycec.github.com

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

    2015 · rafelsberger.at

21. 21TK
    type-kanren – type-level microKanren in TypeScript▲5

    2025 · github.com

22. 22AD
    A decorator based testing framework for TypeScript▲6

    2021 · github.com

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

    2020 · github.com

24. 24HA
    Hacn – a React “monad” implemented using F#/Fable▲21

    2021 · github.com

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