mpi-sws-rse / jmcLinks
jmc: Java Model Checker
☆33Updated 2 weeks ago
Alternatives and similar repositories for jmc
Users that are interested in jmc are comparing it to the libraries listed below
Sorting:
- my learning process in each technology!☆58Updated 8 months ago
- language speed test of running is_prime function☆41Updated last year
- این یه توتوریال لینوکس به زبان فارسیه. زمانی که جی‌پی‌تی نبوده تولید شده و اخیرا راست‌چین بودنشو صرفا درست کردم. اگه فکر کردی برات مناسبه…☆33Updated 2 months ago
- محل نگهداری امتحانات و تمارین دروس دانشکده مهندسی کامپیوتر - دانشگاه صنعتی شریف☆43Updated last year
- Python script to read Quera judge results and put them in a csv☆17Updated 3 years ago
- Angular, Ansible, CI/CD, Flutter, ElasticSearch, Redis, NSQ, RabbitMQ, Jenkins, Jest, React, Redux, TypeScript, Django, GraphQL, Rest Fr…☆102Updated 5 months ago
- 📝 لیست وبلاگ‌های فارسی‌زبان در حوزه‌های مختلف☆90Updated 2 years ago
- A collection of (mostly) technical things every software developer should know☆52Updated 2 years ago
- پروجکت اویلر فارسی☆27Updated last year
- Checklist of the most important security countermeasures when designing, testing, and releasing your API☆21Updated 6 years ago
- Persian Calendar in Python☆38Updated 4 months ago
- This is an open-source Persian book on discrete mathematics provided by volunteers without any expectation and offered for free.☆45Updated 2 years ago
- Distributed code Judge☆36Updated last year
- نسخه‌های مختلف طرح صیانت☆109Updated 2 years ago
- “Saaghar” (ساغر) is a Persian poetry software written by C++ under Qt framework, it uses "ganjoor" database as its database. It has tab f…☆169Updated last year
- Persian for LaTeX, using XeTeX☆86Updated 4 years ago
- A LaTeX template for typesetting theses in Persian☆108Updated 2 months ago
- OCR on unsearchable and large PDF file☆67Updated 9 months ago
- 🔥 جهنم وب، عذاب های الهی همگی در یک سند وب 🔥☆104Updated 3 years ago
- Right to be forgotten - directory of direct links to delete your account from persian web services. دایرکتوری حق فراموش شدن سرویس های ایر…☆219Updated 2 weeks ago
- ☆18Updated 9 months ago
- کتابی فان برای آموزش لینوکس به زبان فارسی☆22Updated 11 months ago
- Simple Programming Language for fun.☆243Updated this week
- Learn how to create an index in ElasticSearch,config it,index documents in it and use common NLP functions☆95Updated 3 years ago
- Have time.ir in shell!☆153Updated 5 years ago
- Mehrabad Airport Flight Information Display System using ESP32 and 1602 LCD☆75Updated 2 years ago
- ترجمه مستندات جنگو☆44Updated 3 years ago
- خبرنامه‌ای برایِ مهندسانِ نرم‌افزار☆33Updated 2 years ago
- Persian and Gregorian Date Converter for Python 2 and Python 3☆153Updated 7 years ago
- A general purpose procedural and compiled programming language☆58Updated 8 months ago