Z3Prover/z3

The Z3 Theorem Prover

⭐ 11998 | 🍴 1620

leanprover/lean4

Lean 4 programming language and theorem prover

⭐ 7473 | 🍴 771

superagent-ai/superagent

Superagent protects your AI applications against prompt injections, data leaks, and harmful outputs. Embed safety directly into your app and prove compliance to your customers.

⭐ 6437 | 🍴 952

Provenance-Emu/Provenance

iOS & tvOS multi-emulator frontend, supporting various Atari, Bandai, NEC, Nintendo, Sega, SNK and Sony console systems… Get Started: https://wiki.provenance-emu.com |

⭐ 6244 | 🍴 710