← 최신 프로덕트

Salt

a systems language with Z3 theorem proving in the compiler.

salt-lang.dev 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Orbit a systems level programming language that compiles .sh to LLVM

    github.com

    A modern shell with functional programming synatx.

    Hacker News17점

  2. The Little Book of C

    github.com

    A concise, structured guide to the C programming language.

    Hacker News37점

  3. Numbat

    numbat.dev

    A programming language with physical dimensions as types

    Hacker News146점

  4. Algebruh

    github.com

    Cross-check arithmetic claims with Z3, cvc5, and Lean

    Hacker News14점

  5. B-IR

    github.com

    An LLM-optimized programming language

    Hacker News62점