HN · GitHub Signals

OPEN SOURCE, IN FOCUS

talos

cajal-technologies/talos

Wasm interpreter in lean, designed for reasoning.

Explore on GitHub ↗

Saved projects stay in this browser. No account needed.

TAKE A CLOSER LOOK

Start with the source.

The repository is the place to check installation steps, supported platforms, the license, and current maintenance before choosing a tool.

Read the documentation on GitHub ↗

Keep exploring

Find projects in the same areas, or search the archive for a different approach.

ANOTHER GOOD FIND

Explore related projects

View the archive ↗

Connected by topics and descriptions.

axiomatic-ai

axqm

AxQM — a proof-synthesis benchmark for quantum computing and quantum information, from Nielsen & Chuang, in Lean 4

Take a look →
bitwuzla

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Take a look →
hayata-yamasaki-group

lean-quantum

Lean formalization of the theory of quantum information and quantum computation - GitHub - Hayata-Yamasaki-Group/lean-quantum: Lean formalization of the theory of quantum information and quantum computation

Take a look →