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

Quelea_Coq_Imp

Coq Implementation of Quelea

Language:CoqStargazers:5Issues:1Issues:0

CLOTHO

Directed Test Generation for Weakly Consistent Database Systems

Language:JavaLicense:MITStargazers:3Issues:1Issues:1

kiarahmani.github.io

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

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

Reviews

Stargazers:0Issues:0Issues:0

RoboInfoGather

Language:PythonStargazers:0Issues:0Issues:0