← 최신 프로덕트

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.

오픈소스

132 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Leporello.js

    leporello.tech

    interactive functional programming IDE for JavaScript

    Hacker News107점

  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점

  3. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113점

  4. Zero-dependency

    docs.axflow.dev

    TypeScript SDK for building robust NLP applications

    Hacker News16점

  5. FP-pack

    github.com

    Functional pipelines in TypeScript without monads

    Hacker News14점