Giters
Kia Rahmani (Kiarahmani)

Kiarahmani

Geek Repo

22

followers

60

following

188

stars

Company:University of Texas at Austin

Location:Austin, TX, USA

Home Page:https://kiarahmani.github.io/

Github PK Tool:Github PK Tool

Kia Rahmani's repositories

kiarahmani.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

RoboInfoGather

Stargazers:0Issues:0Issues:0

CLOTHO

Directed Test Generation for Weakly Consistent Database Systems

Language:JavaLicense:MITStargazers:3Issues:0Issues:0

Quelea_Coq_Imp

Coq Implementation of Quelea

Language:CoqStargazers:5Issues:0Issues:0

Reviews

Stargazers:0Issues:0Issues:0