amaurremi/dot-calculus amaurremi/dot-calculus

  • Stars
    star
    23
  • Rank 1,011,049 (Top 21 %)
  • Language
    HTML
  • Created over 8 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amaurremi/dot-calculus
github

amaurremi

Reviews

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

Repository Details

Adding extensions to DOT calculus

More Repositories

1

IDE

Interprocedural Distributive Environment algorithm implementation
Scala
16
star
2

stringoid

Retrieving URLs from APK files
Scala
6
star
3

dot-plt-redex

Formalizing DOT calculus (and extensions) in PLT Redex
Racket
1
star
4

correlated

Improving precision of data-flow analysis in the presence of correlated method calls
Java
1
star
5

Cogra

Demonstrationg homogeneous coordinates transformations for a computer graphics
Java
1
star
6

leroy-compiler-dafny

Implementing Xavier Leroy's toy compiler presented at DSSS'17 in Dafny
Dafny
1
star