Pinned Repositories
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
automatark
Benchmark problems for different models of automata, transducers, and related logics
cse291-program-synthesis
Program Synthesis Course
cse291-program-synthesis-loris
Program synthesis class taught by Loris D'Antoni
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
error-prone
Catch common Java mistakes as compile-time errors
NoFAQ
A web app that learns to repair your command line mistakes.
symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
z3
The Z3 Theorem Prover
lorisdanto's Repositories
lorisdanto/symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
lorisdanto/automatark
Benchmark problems for different models of automata, transducers, and related logics
lorisdanto/cs703-program-synthesis
Program synthesis class taught by Loris D'Antoni
lorisdanto/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
lorisdanto/cse291-program-synthesis
Program Synthesis Course
lorisdanto/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
lorisdanto/error-prone
Catch common Java mistakes as compile-time errors
lorisdanto/NoFAQ
A web app that learns to repair your command line mistakes.
lorisdanto/z3
The Z3 Theorem Prover