← Latest products

LemmaScript

a verification toolchain for TypeScript via Dafny. verification toolchain for TypeScript (Tech Preview). I created LemmaScript to compile TypeScript to a verification backend (Dafny or Lean) and prove properties on the systematically derived model.

Open source

131 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Leporello.js

    leporello.tech

    interactive functional programming IDE for JavaScript

    Hacker News107 pts

  2. TypeScript as a proof assistant for intuitionistic propositional logic

    gist.github.com

    TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.

    Hacker News17 pts

  3. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113 pts

  4. Zero-dependency

    docs.axflow.dev

    TypeScript SDK for building robust NLP applications

    Hacker News16 pts

  5. FP-pack

    github.com

    Functional pipelines in TypeScript without monads

    Hacker News14 pts