Giters
Patricia Djami (mnkywlkr)

mnkywlkr

Geek Repo

3

followers

10

following

6

stars

Github PK Tool:Github PK Tool

Patricia Djami's starred repositories

ipasir

The Standard Interface for Incremental Satisfiability Solving

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

cadical

CaDiCaL SAT Solver

Language:C++License:MITStargazers:358Issues:0Issues:0

GenshinImpactLutris

Lutris scripts for Genshin Impact.

Language:HTMLStargazers:1Issues:0Issues:0

HSKA-App

If you study INFB, MNIB, MKIB, or INFM at the Karlsruhe University of Applied Sciences then you can use this App to get useful widgets about grades and more.

Language:SwiftLicense:MITStargazers:3Issues:0Issues:0

SysProg

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

vs2lab-legacy

HsKA Distributed Systems 2 Lab

Stargazers:1Issues:0Issues:0