Giters
Loris D'Antoni (lorisdanto)

lorisdanto

Geek Repo

62

followers

1

following

1

stars

Company:University of Wisconsin

Location:Madison

Home Page:http://pages.cs.wisc.edu/~loris/

Github PK Tool:Github PK Tool

Organizations
AutomataTutor

Loris D'Antoni's repositories

symbolicautomata

Library for symbolic automata and symbolic visibly pushdown automata

Language:JavaLicense:Apache-2.0Stargazers:62Issues:10Issues:6

automatark

Benchmark problems for different models of automata, transducers, and related logics

Language:JavaLicense:MITStargazers:28Issues:4Issues:0

cs703-program-synthesis

Program synthesis class taught by Loris D'Antoni

License:MITStargazers:15Issues:3Issues:5

women-in-programming-languages-research

Women in Programming Languages and Software Engineering Research

Stargazers:1Issues:0Issues:0

cse291-program-synthesis

Program Synthesis Course

Stargazers:0Issues:0Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

error-prone

Catch common Java mistakes as compile-time errors

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

NoFAQ

A web app that learns to repair your command line mistakes.

Language:F#License:MITStargazers:0Issues:1Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0