← Latest products

Salt

a systems language with Z3 theorem proving in the compiler.

Visit salt-lang.devexternal site

Reactions (1)

Similar products

by description similarity

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

    github.com

    A modern shell with functional programming synatx.

    Hacker News17 pts

  2. The Little Book of C

    github.com

    A concise, structured guide to the C programming language.

    Hacker News37 pts

  3. Numbat

    numbat.dev

    A programming language with physical dimensions as types

    Hacker News146 pts

  4. Algebruh

    github.com

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

    Hacker News14 pts

  5. B-IR

    github.com

    An LLM-optimized programming language

    Hacker News62 pts