mpi-sws-rse / jmcLinks
jmc: Java Model Checker
☆20Updated this week
Alternatives and similar repositories for jmc
Users that are interested in jmc are comparing it to the libraries listed below
Sorting:
- My config files. It ain't much, but it's honest work☆24Updated 3 weeks ago
- my learning process in each technology!☆58Updated 5 months ago
- 📝 لیست وبلاگهای فارسیزبان در حوزههای مختلف☆89Updated 2 years ago
- Persian for LaTeX, using XeTeX☆85Updated 3 years ago
- Testsaz is a fast, minimal test-case generator system for ICPC style and IOI style problems.☆22Updated 4 years ago
- Angular, Ansible, CI/CD, Flutter, ElasticSearch, Redis, NSQ, RabbitMQ, Jenkins, Jest, React, Redux, TypeScript, Django, GraphQL, Rest Fr…☆100Updated 2 months ago
- A build system for Quera technology challenges☆42Updated 3 years ago
- How to Start Conversation With A Developer: A List of Popular/Controversial Topics☆49Updated 5 years ago
- محل نگهداری امتحانات و تمارین دروس دانشکده مهندسی کامپیوتر - دانشگاه صنعتی شریف☆42Updated last year
- a little game that was my java project :)☆9Updated 6 years ago
- این یک توتوریال لینوکس به زبان فارسیه. شکل و شمایلش یکم بهم ریخته ولی هنوزم میشه خوندش. اگه تو بهتر کردنش میتونی بهم کمکی کنی ممنون میشم …☆33Updated 2 years ago
- An exporter for Adobe Connect recorded sessions for virtual classes held for Shahid Beheshti University Courses.☆15Updated 5 years ago
- JSON file of Iran vehicle registration plates☆15Updated 5 years ago
- کتابی فان برای آموزش لینوکس به زبان فارسی☆22Updated 8 months ago
- language speed test of running is_prime function☆38Updated last year
- نسخههای مختلف طرح صیانت☆110Updated 2 years ago
- ☆15Updated last year
- The repository to register in soalpich challenge☆19Updated 4 years ago
- Peyman programming language☆28Updated 2 years ago
- منابعی برای تدریس اقتصاد و مالی برای جوانان و نوجوانان☆19Updated last year
- This repository contains codes I wrote in my free time, Just for fun or even more pointless :)☆17Updated 3 years ago
- Hacker News Build With Django☆19Updated 3 years ago
- Distributed code Judge☆36Updated last year
- آموزش تقلب در کوئرا بدون لو رفتن☆17Updated 4 months ago
- ☆34Updated 3 years ago
- My Snapp Chrome Extension☆78Updated 3 years ago
- Block all accounts who have liked a Tweet that stepped beyond your moral boundaries☆24Updated 2 years ago
- استایل لاتک بوستان، مناسب برای نگارش کتاب، گزارش و پایاننامه☆41Updated 9 months ago
- Topics Presented in Our L&D Sessions☆68Updated 2 years ago
- کتاب مهندسی و ساخت نرمافزار بهصورت یک سرویس: رویکردی چابک با استفاده از رایانش ابری☆21Updated last year