mpi-sws-rse / jmc
jmc: Java Model Checker
☆18Updated 3 weeks ago
Alternatives and similar repositories for jmc:
Users that are interested in jmc are comparing it to the libraries listed below
- my learning process in each technology!☆56Updated 2 months ago
- My config files. It ain't much, but it's honest work☆24Updated last week
- language speed test of running is_prime function☆38Updated 9 months ago
- This bot helps you find nearby food party deals on Snappfood and sends them directly to Telegram.☆32Updated 8 months ago
- a little game that was my java project :)☆9Updated 6 years ago
- تبدیل گوگل درایو به هاست دانلود با دامنه اختصاصی☆31Updated 4 years ago
- compiler project for compiler course (spring 99) in sbu university☆12Updated last year
- Persian for LaTeX, using XeTeX☆84Updated 3 years ago
- A web framework built with Python☆29Updated 2 years ago
- Discover optimal docker registry mirror speed for efficient network performance☆85Updated 3 months ago
- Distributed code Judge☆35Updated last year
- Ronvis is an Android app for photo text creation, specializing in Persian and Arabic font rendering. It offers custom font engines, asset…☆101Updated 8 months ago
- Command line interface for rust-persian-tools library.☆22Updated 8 months ago
- نسخههای مختلف طرح صیانت☆111Updated 2 years ago
- Checklist of the most important security countermeasures when designing, testing, and releasing your API☆19Updated 6 years ago
- Fast Rust binary that counts line numbers of a codebase.☆22Updated 10 months ago
- ☆17Updated last month
- Vortex is a learning-focused C++ Load Balancing using IO_Uring and epoll☆35Updated 3 months ago
- An exporter for Adobe Connect recorded sessions for virtual classes held for Shahid Beheshti University Courses.☆15Updated 5 years ago
- این یک توتوریال لینوکس به زبان فارسیه. شکل و شمایلش یکم بهم ریخته ولی هنوزم میشه خوندش. اگه تو بهتر کردنش میتونی بهم کمکی کنی ممنون میشم …☆33Updated 2 years ago
- Class based views to generate pdf files☆22Updated 10 months ago
- A simple crawler and notifier of divar.ir advertisements, based on pre-defined conditions☆17Updated last year
- کتابی فان برای آموزش لینوکس به زبان فارسی☆22Updated 5 months ago
- TChess - Play the chess in the Terminal!☆11Updated 3 years ago
- Translation of Sadra's article about commiting like a pro !☆28Updated 2 years ago
- Free Software Projects of Tehlug Members☆76Updated last month
- ☆17Updated 11 months ago
- It simply creates an image from all of your twitter followers avatars.☆17Updated 2 years ago
- free and open source accounting platform☆23Updated last week
- a simple text editor in java for DS project☆17Updated last year