ro-per/IDP-excercises ro-per/IDP-excercises

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
  • License
    GNU Affero Genera...
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ro-per/IDP-excercises
github

ro-per

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Lab sessions about SAT solving using the IDP IDE

More Repositories

1

Adafruit-LED-matrix-driver

Rust code for text and image visualisation on a Adafruit RGB matrix using a Raspberry Pi3
Rust
3
star
2

Classification-Tweets

Sentiment analysis of tweets using machine learning
Jupyter Notebook
2
star
3

RemoteMethodInvocation

Chat application based on RMI (Remote Method Invocation)
Java
2
star
4

PylosGamingBot

Gaming bot for the game "Pylos" (included GUI)
Java
1
star
5

Eternity2

Solver for Eternity 2 Puzzle, solves up to 7x7 under 30 minutes.
Java
1
star
6

Memory_Exploits_in_C

Excercises on memory exploits in C
Python
1
star
7

Socket-based-chat-application

Little chat application using sockets in Java
Java
1
star
8

PID-control

Lab session on PID control in Python using the control library
Python
1
star
9

SIT-CommandoPatroon

Java
1
star
10

Sockets-Python

Little example for using sockets in Python
Python
1
star
11

Prolog-Introduction

Introductory excercises into prolog
Prolog
1
star
12

Debugging_C_and_CPP_with_GDB

introduction on debugging C and C++ with GDB
C
1
star
13

IO_and_Parsing_in_Rust

Parsing BMP images in Rust
Rust
1
star
14

ProcessPagination

Simulation and visualisation of process pagination using JavaFX
Java
1
star
15

ObjectOrientedProgramming

Oefeningen gemaakt voor het vak "OO-Programeertechnieken" in de opleiding "IIW - Elektronica ICT"
C++
1
star
16

Regression-RedWineQuality

Regression on the quality of red wine using machine learning
Jupyter Notebook
1
star
17

Keyboard-Independent-Password-Generator

PowerShell
1
star