Basic questions about ITP course at Shahid-Beheshti-university
-
Updated
Aug 13, 2022 - C
#
itp
Here are 61 public repositories matching this topic...
proof proof-assistant formal-methods isabelle formal-verification isabelle-hol itp interactive-theorem-proving formal-proofs
-
Updated
Dec 7, 2020 - Isabelle
Automated Theorem Prover written in JavaScript, CSS3 & HTML5
-
Updated
Apr 28, 2020 - JavaScript
Aceasta integrare verifica valabilitatea Inspectiei Tehnice Periodice pe baza Seriei VIN.
-
Updated
Dec 4, 2025 - Python
Some ITP projects from shahid-Beheshti-University (SBU)
-
Updated
Aug 11, 2022 - C
-
Updated
Sep 19, 2021 - CSS
Some ITP projects from shahid-Beheshti-University (SBU) (Creat Functions questions)
-
Updated
Aug 18, 2022 - C
👨🏫 Demo showcase of using the react-native bridge and the effects of using the Animated API
react redux react-native performance-analysis performance-monitoring itp itp-rn-academy react-native-bridge react-native-state-management
-
Updated
Mar 13, 2018 - JavaScript
An elegant Anthropic Claude designed Mathematical Proof Solver, written in Javascript, HTML, and CSS.
-
Updated
Jul 12, 2025 - HTML
SLIIT Bsc(Hons) Information Technology 2 Year 2 Semester ITP Module [ IT2080 ] MERN Stack Project | "Rapid Travels" | 2023
github itp sliit mern-stack-project it2080 2-year-2-semester-itp-module 2023-8 itp-project-sliit-github itp-project itp-project-sliit-2023 itp-project-github
-
Updated
Jul 21, 2024 - JavaScript
Experiments with Storytelling.
-
Updated
Jan 11, 2023 - JavaScript
Study Material Management App is an intuitive platform designed to help students and educators organize, access, and share study materials efficiently.
-
Updated
Jan 26, 2026 - JavaScript
This is SLIIT 2nd year 2nd semester ITP project. Travely is a travel and tourism website with vehicle booking, hotel booking, special activity and also can book restaruants
react nodejs javascript firebase jwt express mongodb cloudinary jwt-authentication firebase-auth itp mern-stack sliit postman-api
-
Updated
Jul 14, 2023 - JavaScript
-
Updated
Oct 2, 2017 - Python
A general-purpose bracketing rootfinder for ATS2, employing the ITP algorithm. Mirror of the default branch of the Mercurial repository at https://sourceforge.net/p/chemoelectric/ats2-itp-rootfinder
-
Updated
Mar 10, 2026 - Shell
Improve this page
Add a description, image, and links to the itp topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the itp topic, visit your repo's landing page and select "manage topics."