talosWasm interpreter in lean, designed for reasoning 183 36AGPL-3.0 last commit 2026-06-26 SourceAdd to my stackDiscuss Share:AboutWasm interpreter in lean, designed for reasoningLanguagesLean97.8%Rust0.5%Python0.5%Astro0.4%Shell0.3%CSS0.2%Just0.1%TypeScript0.1%WebAssembly0.1%JavaScript0%Contributors161285914104442111111+2FeaturesDiscussNo features listed.Comments ThemeGitHub LightGitHub Light High ContrastGitHub Light Protanopia & DeuteranopiaGitHub Light TritanopiaGitHub DarkGitHub Dark High ContrastGitHub Dark Protanopia & DeuteranopiaGitHub Dark TritanopiaGitHub Dark DimmedPreferred color schemeTransparent DarkNoBorder LightNoBorder DarkNoBorder GrayRStudio CobaltPurple DarkGruvboxGruvbox DarkGruvbox LightCatppuccin LatteCatppuccin FrappéCatppuccin MacchiatoCatppuccin MochaFroCustom (experimental)
