GitHub topics: monotone-frameworks
meitinger/FrameworkAnalyzer
Monotone Framework analyzer for WHILE language programs.
Language: TypeScript - Size: 47.9 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
wenkokke/MonoProc 📦
A framework for data-flow analysis of a simple imperative programming language.
Language: Haskell - Size: 459 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0
