mpi-sws-rse / jmc
jmc: Java Model Checker
☆14Updated this week
Related projects ⓘ
Alternatives and complementary repositories for jmc
- a little game that was my java project :)☆9Updated 5 years ago
- My config files. It ain't much, but it's honest work☆25Updated last week
- my learning process in each technology!☆56Updated 6 months ago
- simple multi-platform library for developing CLI programs☆20Updated 9 months ago
- TChess - Play the chess in the Terminal!☆11Updated 3 years ago
- Directmedia Layer - A wrapper around SDL2 which make use of sdl much simpler☆9Updated 4 years ago
- کتابی فان برای آموزش لینوکس به زبان فارسی☆22Updated last month
- Fundamentals of Programming Laboratory Materials☆12Updated 11 months ago
- This repository contains codes I wrote in my free time, Just for fun or even more pointless :)☆17Updated 2 years ago
- حبس از دید اعداد واقعی - Persian translation for "Incarceration in real numbers"☆24Updated 2 years ago
- An exporter for Adobe Connect recorded sessions for virtual classes held for Shahid Beheshti University Courses.☆15Updated 4 years ago
- Python script to read Quera judge results and put them in a csv☆16Updated 2 years ago
- implementing is_prime function and test speed of execution in different languages and runtimes.