mpi-sws-rse / jmcLinks
jmc: Java Model Checker
☆20Updated last week
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 4 months ago
- The repository to register in soalpich challenge☆19Updated 4 years ago
- A build system for Quera technology challenges☆42Updated 2 years ago
- Persian Calendar in Python☆36Updated 2 weeks ago
- An exporter for Adobe Connect recorded sessions for virtual classes held for Shahid Beheshti University Courses.☆15Updated 5 years ago
- 📝 لیست وبلاگهای فارسیزبان در حوزههای مختلف☆89Updated 2 years ago
- A general purpose procedural and compiled programming language☆59Updated 4 months ago
- a little game that was my java project :)☆9Updated 6 years ago
- کتاب مهندسی و ساخت نرمافزار بهصورت یک سرویس: رویکردی چابک با استفاده از رایانش ابری☆21Updated last year
- Vortex is a learning-focused C++ Load Balancing using IO_Uring and epoll☆35Updated 5 months ago
- How to Start Conversation With A Developer: A List of Popular/Controversial Topics☆49Updated 5 years ago
- A list of startups working in Iran.☆18Updated 7 years ago
- This bot helps you find nearby food party deals on Snappfood and sends them directly to Telegram.☆32Updated 10 months ago
- download subtitle only with movies name☆26Updated 4 years ago
- TChess - Play the chess in the Terminal!☆11Updated 3 years ago
- My config files. It ain't much, but it's honest work☆24Updated last week
- Ronvis is an Android app for photo text creation, specializing in Persian and Arabic font rendering. It offers custom font engines, asset…☆100Updated 10 months ago
- language speed test of running is_prime function☆38Updated 11 months ago
- Goshne Prro is a project to find discounts on Snapp Food and Snap Market with admin panel.☆36Updated 3 months ago
- This is a Chrome browser extension that allows users to fact-check tweets simply by Openai LLM.☆28Updated last year
- WM (Watch Movie) is a video player that show it on the terminal as a text!☆28Updated 4 years ago
- ترجمه گروهی مستندات فلسک☆48Updated 3 months ago
- Archive of Iranian Rial currency conversion rate from https://bonbast.com☆51Updated 5 months ago
- This Visual Studio Code extension plays a memorable sound clip ("اینجا قرار نمیگیرد") in Persian from the strategy game "Stronghold Crusa…☆49Updated 11 months ago
- مستندات کنارِ دیوار☆92Updated this week
- Directmedia Layer - A wrapper around SDL2 which make use of sdl much simpler☆9Updated 5 years ago
- A Finglish to Persian converter.☆84Updated 3 years ago
- Distributed code Judge☆36Updated last year
- Topics Presented in Our L&D Sessions☆68Updated 2 years ago
- پروجکت اویلر فارسی☆27Updated 9 months ago