Giters
Ehsan Khosrowshahi Asl (Marooned1000)

Marooned1000

Geek Repo

11

followers

10

following

10

stars

Github PK Tool:Github PK Tool

Ehsan Khosrowshahi Asl's repositories

wowapi

A Java Based API for WoW

Language:JavaStargazers:9Issues:4Issues:0

jtl

This tool reads a user model and specifications in the CTLKC+ logic as input then it generates an extended NuSMV code as output. This code will be used by the NuSMV model checker later.

Language:JavaStargazers:1Issues:4Issues:0

advent_of_code_2022

Language:RustStargazers:0Issues:0Issues:0

cuda_sample

Language:C++Stargazers:0Issues:0Issues:0

graphics-opengl

Language:C++Stargazers:0Issues:2Issues:0

phdwork

Language:TeXStargazers:0Issues:2Issues:0

SIP-VMS

Language:JavaStargazers:0Issues:0Issues:0