YHacker News

inty github.com ↗

A type checker for plain JavaScript using HM-style inference.

ToolDev toolsjavascripttype-inferencetype-checker

Recommended in 1 thread

Similar tools

  • htmx Frameworks & libraries

    A small JavaScript library that adds AJAX and dynamic behaviour through HTML attributes.

    1 thread
  • Flux ↗Dev tools

    A refinement type checker for Rust.

    1 thread
  • Home Manager Dev tools

    A Nix-based tool for declaratively managing user environments and dotfiles.

    1 thread
  • Zine ↗Dev tools

    A Hugo-inspired static site generator written in Zig.

    1 thread
  • pyxis ↗Dev tools

    A compiler that generates Rust types matching C++ memory layouts.

    1 thread
  • Aeneas ↗Dev tools

    A toolchain that translates safe Rust programs into proof assistants like Lean for verification.

    1 thread
  • wasm-bindgen ↗Dev tools

    A tool and library for interop between Rust-compiled WASM and JavaScript.

    1 thread
  • Pi ↗Dev tools

    An extensible terminal coding agent that can switch between models.

    2 threads

Also in Dev tools

  • F-Droid

    An app store distributing free and open-source Android apps.

    3 threads
  • OpenCode

    An open-source terminal coding agent harness.

    2 threads
  • OrbStack

    A macOS app for running Docker containers and Linux VMs.

    2 threads
  • Pi ↗

    An extensible terminal coding agent that can switch between models.

    2 threads
  • lossy-git ↗

    A toy version control system that stores code by training a neural network and reconstructs it on checkout.

    2 threads
  • uv

    Fast Python package and project manager.

    2 threads
  • Aeneas ↗

    A toolchain that translates safe Rust programs into proof assistants like Lean for verification.

    1 thread
  • Alloy ↗

    A lightweight formal modeling language and analyzer for software designs.

    1 thread
  • Arnis ↗

    An open-source Rust tool that generates Minecraft worlds from real-world geographic data.

    1 thread
  • Aurora Store

    An open-source alternative client for downloading apps from Google Play.

    1 thread
  • Blink Shell

    A terminal emulator and SSH/Mosh client for iOS.

    1 thread
  • Cecil ↗

    A static website generator written in PHP.

    1 thread

Link from a commenter, not checked or endorsed by us: ↗ https://github.com/sinelaw/inty