nowfound

Alternatives

Products that do what TypeNix – full typing for Nix language by mapping to the TS AST does

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

    2021 · typeitjs.com

  2. 2CA
    Cixl – a minimal, decently typed scripting language▲64

    2018 · github.com

  3. 3FA
    Fe – A tiny, embeddable language implemented in ANSI C▲143

    2020 · github.com

  4. 4IA
    Iota – a text editor written in Rust▲221

    2014 · github.com

  5. 5MA
    Miso – A Haskell implementation of Elm▲114

    2017 · github.com

  6. 6MA
    Mys – an attempt to create a statically typed Python-like language▲50

    2020 · github.com

  7. 7RA
    Rhine – A typed Elixir-inspired language on LLVM▲81

    2016 · github.com

  8. 8LA
    L2: An elegant untyped, unsafe, unhygienic programming language▲83

    2017 · github.com

  9. 9AS
    A stack-based pure functional language for touch devices▲77

    2015 · github.com

  10. 10TA
    theca – a simple CLI note taking tool in Rust▲58

    2015 · bracewel.net

  11. 11OT
    OTPCL – Tcl-Flavored Erlang▲46

    2019 · bitbucket.org

  12. 12AA
    Amp – A text editor for your terminal, written in Rust▲43

    2018 · amp.rs

  13. 13TK
    Two Kilo – A curses-based text editor in 2kb of code▲67

    2019 · 0x0.st

  14. 14AH
    A high-level Lisp configurator for the Ergodox keyboard▲36

    2020 · github.com

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

    2015 · haskell-servant.github.io

  16. 16TT
    Typer, the FastAPI of CLI Apps▲10

    2020 · typer.tiangolo.com

  17. 17NB
    Node bindings for libui, a native UI library for Unix, OS X and Windows▲28

    2016 · github.com

  18. 18AT
    A toy interpreter for a minimalistic imperative language in 1.3k LoC▲17

    2015 · github.com

  19. 19NA
    nimiTCL – a minimal TCL interpreter in 270 lines of Nim▲8

    2017 · github.com

  20. 20RA
    Raskell, a Haskell interpreter and editor for iPad▲16

    2013 · slidetocode.com

  21. 21DU
    DAS-UI – keyboard driven visual programming language in the browser▲8

    2017 · das-ui.firebaseapp.com

  22. 22P8
    PEP 827 – TS-like type manipulation in Python▲7

    Mar 2026 · peps.python.org

  23. 23CA
    Cixl – a minimal scripting language▲11

    2017 · github.com

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

    2019 · blog.hediet.de

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