← Latest products

Tiny Hoare logic verifier using SMT

Course on Metaprogramming.

Open source

78 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. The Little Book of C

    github.com

    A concise, structured guide to the C programming language.

    Hacker News37 pts

  2. B-IR

    github.com

    An LLM-optimized programming language

    Hacker News62 pts

  3. A new Bluebook implementation of the Smalltalk-80 VM

    github.com

    A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT

    Hacker News11 pts

  4. SupGen

    youtube.com

    an model-free program synthesizer by examples / dependent types

    Hacker News21 pts

  5. Crespo

    github.com

    Tree-sitter AST blueprints instead of raw code for LLMs

    Hacker News14 pts