Tiny Hoare logic verifier using SMT

비슷한 프로덕트

설명이 비슷한 순

1. The Little Book of C

   github.com

   A concise, structured guide to the C programming language.

   HNHacker News37점

2. B-IR

   github.com

   An LLM-optimized programming language

   HNHacker News62점

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

   HNHacker News11점

4. SupGen

   youtube.com

   an model-free program synthesizer by examples / dependent types

   HNHacker News21점

5. Crespo

   github.com

   Tree-sitter AST blueprints instead of raw code for LLMs

   HNHacker News14점