krpovmu Goto Github PK

bios_psx2

cglab_santoso124721_poveda123802

Framework for the Computergraphics Exercise Levi Santoso and Carlos Poveda

code_blinking_detector_eyelid_distance

Code Blinking Detector Eyelid Distance

computer_graphics_2_animation

Computer Graphics 2 Animation

deltadebugging

This Java project implements a delta debugging algorithm tailored for analyzing and isolating faults in Alloy models

dreadburymansionmysteryalloy

Assignment05 Formal Methods Dreadbury Mansion Mystery in Alloy

fm4se-alloy-final-project

fm4se-alloy-sigs-checker

A template for checking simple checks of Alloy modules using the Alloy 6 APIs.

fm4se-featuremodels

Assignment 2 Formal Methods Wise 2022

fm4se-java-smt-pc-config

Simple SMT-based PC configurator for a budget and boolean constraints.

fm4sefinalprojectalloy

fm4sesemanticcomparisionalloy

Final Project Formal Methods

fm4unsatcoresalloy

This project aims to evaluate the efficiency of implementing the DDMin algorithm in the search for UNSAT Cores in the context of alloy.

garcia124841_poveda123802_wise22

Final Project Computer Graphics II WiSe 2022

gltut

Learning Modern 3D Graphics Programming

modern-c-ab

This is the exercises of the book Modern C for Absolute Beginners, Like Me ;P

nuxmv_assignment07_fm4se_wise2022

scripts

vimrc

minimal .vimrc for c/c++ developers

vimrc-1

vimrc for C/C++ development

visualization-final

Visualization Final Project SoSe2022

xg2xg

by ex-googlers, for ex-googlers - a lookup table of similar tech & services