niconaus/iTasks-feedback niconaus/iTasks-feedback

  • Stars
    star
    1
  • Language Clean
  • Created about 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
niconaus/iTasks-feedback
github

niconaus

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Clean implementation belonging to the publication: Building a Generic Feedback System for Rule-Based Problems

More Repositories

1

pcode-interpreter

Haskell
17
star
2

PCode-Dump

Java
14
star
3

reachability-logic

Isabelle
2
star
4

Dynamic-Flow-Analysis-for-JavaScript

Implementation of a Dynamic Flow Analysis for JavaScript
JavaScript
1
star
5

rule-tree-semantics

Haskell
1
star
6

low-level-reachability

Haskell
1
star