yihozhang/egglog-pointer-analysis-benchmark yihozhang/egglog-pointer-analysis-benchmark

  • Stars
    star
    1
  • Language
    Python
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yihozhang/egglog-pointer-analysis-benchmark
github

yihozhang

Reviews

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

Repository Details

More Repositories

1

relational-ematching-benchmark

Rust
13
star
2

egraph-sqlite

egraph on top of sqlite
Racket
8
star
3

sdl

Staged Datalog
C
2
star
4

ruxl

Rust
2
star
5

peg

persistent e-graphs
Rust
2
star
6

modified-sc-by-eval

adaption of supercompilation-by-evaluation (https://github.com/batterseapower/supercompilation-by-evaluation) to update-to-date ghc
Haskell
2
star
7

masters-thesis

C++
1
star
8

yihozhang

1
star
9

yihozhang.github.io

HTML
1
star
10

2TBF

A state monad based compiler from a subset of Pascal to 2-Tape Brainfuck, a practical extension of BF lang.
Scala
1
star