mpi-sws-rse / jmcLinks
jmc: Java Model Checker
☆24Updated last month
Alternatives and similar repositories for jmc
Users that are interested in jmc are comparing it to the libraries listed below
Sorting:
- 📝 لیست وبلاگهای فارسیزبان در حوزههای مختلف☆90Updated 2 years ago
- An exporter for Adobe Connect recorded sessions for virtual classes held for Shahid Beheshti University Courses.☆15Updated 5 years ago
- My config files. It ain't much, but it's honest work☆24Updated 3 weeks ago
- my learning process in each technology!☆59Updated 7 months ago
- ☆19Updated 8 months ago
- محل نگهداری امتحانات و تمارین دروس دانشکده مهندسی کامپیوتر - دانشگاه صنعتی شریف☆43Updated last year
- language speed test of running is_prime function☆41Updated last year
- Simple Programming Language for fun.☆236Updated 7 months ago
- Learn how to create an index in ElasticSearch,config it,index documents in it and use common NLP functions☆96Updated 3 years ago
- a FUSE-based filesystem with deniable encryption☆11Updated 4 months ago
- کتابی فان برای آموزش لینوکس به زبان فارسی☆22Updated 10 months ago
- Python script to read Quera judge results and put them in a csv☆17Updated 3 years ago
- Right to be forgotten - directory of direct links to delete your account from persian web services. دایرکتوری حق فراموش شدن سرویس های ایر…☆219Updated last week
- Angular, Ansible, CI/CD, Flutter, ElasticSearch, Redis, NSQ, RabbitMQ, Jenkins, Jest, React, Redux, TypeScript, Django, GraphQL, Rest Fr…☆100Updated 4 months ago
- ترجمه مستندات جنگو☆44Updated 3 years ago
- TChess - Play the chess in the Terminal!☆12Updated 4 years ago
- ☆15Updated 5 years ago
- A Finglish to Persian converter.☆84Updated 3 years ago
- این یه توتوریال لینوکس به زبان فارسیه. زمانی که جیپیتی نبوده تولید شده و اخیرا راستچین بودنشو صرفا درست کردم. اگه فکر کردی برات مناسبه…☆32Updated last month
- A build system for Quera technology challenges☆42Updated 3 years ago
- Aggify is a Python library to generate MongoDB aggregation pipelines☆74Updated 7 months ago
- Persian and Gregorian Date Converter for Python 2 and Python 3☆154Updated 7 years ago
- Have time.ir in shell!☆153Updated 5 years ago
- This repository contains codes I wrote in my free time, Just for fun or even more pointless :)☆17Updated 3 years ago
- آراسته: تبدیل متن فارسی به هنر اسکی☆119Updated last year
- Checklist of the most important security countermeasures when designing, testing, and releasing your API☆21Updated 6 years ago
- Ronvis is an Android app for photo text creation, specializing in Persian and Arabic font rendering. It offers custom font engines, asset…☆101Updated last year
- “Saaghar” (ساغر) is a Persian poetry software written by C++ under Qt framework, it uses "ganjoor" database as its database. It has tab f…☆166Updated last year
- Welcome to Python Monster – where the journey to mastering Python and becoming a senior backend developer unfolds! I'm a passionate Pytho…☆50Updated 3 months ago
- Distributed code Judge☆36Updated last year