Awesome Isabelle Open-Source Projects

Projects

Posts

Mentions

AppSignal knows why the f*#k it crashed.

Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.

www.appsignal.com

sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

sponsored

# Project Mentions Stars

elle Black-box transactional safety checker based on cycle detection 7 703

pcp-3-4-proofs 1 0

Popular Isabelle Topics

Trending Isabelle projects

Trending »

AutoCorrode ↗︎ 5.5%

cogent ↗︎ 1.7%

l4v ↗︎ 1.6%

elle ↗︎ 0.0%

marlowe ↗︎ -1.1%

Latest discoveries

pcp-3-4-proofs ★ 0

grammar ★ 1

AutoCorrode ★ 109

sortnetopt ★ 46

F Folklore-and-miscellaneous-results-in-number-theory ★ 1

WasmCert-Isabelle ★ 37

elle ★ 703

Lambda-RAM-Compiler ★ 2

cogent ★ 181

ouroboros-high-assurance ★ 1

Latest mentions

elle 23 h · dev.to

pcp-3-4-proofs 14 d · news.ycombinator.com

grammar 2 mo · dev.to

AutoCorrode 1 y · news.ycombinator.com

l4v 2 y · news.ycombinator.com

sortnetopt 3 y · /r/MachineLearning

cogent 4 y · /r/ProgrammingLanguages

F Folklore-and-miscellaneous-results-in-number-theory 4 y · news.ycombinator.com

WasmCert-Isabelle 4 y · news.ycombinator.com

Many thanks to our great sponsors

AppSignal knows why the f*#k it crashed.

Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.

www.appsignal.com

sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

sponsored

Discover awesome Isabelle
open-source projects