Pinned Repositories
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
afp-ants
tpt-verified-compiler
Dynamic-Flow-Analysis-for-JavaScript
Implementation of a Dynamic Flow Analysis for JavaScript
iTasks-feedback
Clean implementation belonging to the publication: Building a Generic Feedback System for Rule-Based Problems
low-level-reachability
PCode-Dump
pcode-interpreter
reachability-logic
rule-tree-semantics
niconaus's Repositories
niconaus/pcode-interpreter
niconaus/PCode-Dump
niconaus/reachability-logic
niconaus/Dynamic-Flow-Analysis-for-JavaScript
Implementation of a Dynamic Flow Analysis for JavaScript
niconaus/iTasks-feedback
Clean implementation belonging to the publication: Building a Generic Feedback System for Rule-Based Problems
niconaus/low-level-reachability
niconaus/rule-tree-semantics