← Latest products

TypeNix

full typing for Nix language by mapping to the TS AST. Full typing for Nix based on TypeScript.

Open source

354 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Glide

    blog.craigie.dev

    an extensible, keyboard-focused web browser

    Hacker News207 pts

  2. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113 pts

  3. PEP 827

    peps.python.org

    TS-like type manipulation in Python

    Hacker News7 pts

  4. Numbat

    numbat.dev

    A programming language with physical dimensions as types

    Hacker News146 pts

  5. <15MB Local-first Interactive LaTeX Scratchpad in the Browser

    telox.dev

    I am working on a very modular typesetting engine called TeLoX, intended as a superset of the capabilities (of at least) XeTeX and pdfLaTeX, written in Rust.

    Hacker News5 pts