#

itp

Here are 56 public repositories matching this topic...

Seagat2011 / Euclid-Automated-Theorem-Prover-JavaScript-Plugin-Linux-

Automated Theorem Prover written in JavaScript, CSS3 & HTML5

editor math interactive euclid theorem-proving automated itp theorem-prover

Updated Apr 28, 2020
JavaScript

farbodfld / Introduction-To-Programming-ITP-_Part2

Basic questions about ITP course at Shahid-Beheshti-university

c university-project itp introduction-to-programming

Updated Aug 13, 2022
C

Radser2001 / Online-Event-Management-System

Y2S2 IT Project (ITP)

nodejs express mongodb reactjs itp sliit materialui tailwindcss

Updated May 21, 2023
JavaScript

ChillBroh / Travely

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

rizaldialbert / vhdl-semantics

proof proof-assistant formal-methods isabelle formal-verification isabelle-hol itp interactive-theorem-proving formal-proofs

Updated Dec 7, 2020
Isabelle

itpresidents / ICM-Help-Session

sample codes for icm

js es6 icm p5js itp

Updated Dec 13, 2018
JavaScript

Seagat2011 / Euclid-Automated-Theorem-Prover

Automated Theorem Prover written in javascript HTML5 CSS3

atp itp

Updated Jul 31, 2024
JavaScript

inthepocket / react-native-under-the-hood-demo

👨‍🏫 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

ibrahim-mohd / Generate-silica-itp-file-Gromacs

The scripts in this repository creates Gromacs itp files for all-atom simulation of Silica in combination with AMBER force field. For Charmm slight change is required. Refer to the reference in description

simulation silica gromacs itp forcefield silicondioxide cristobalite

Updated Mar 15, 2025
Python

ITP-xStory / website

Experiments with Storytelling.

machine-learning vr ar storytelling nyu 3d itp

Updated Jan 11, 2023
JavaScript

it-21360978 / Material-Mangement

Study Material Management App is an intuitive platform designed to help students and educators organize, access, and share study materials efficiently.

itp study-project mern-stack

Updated Jun 5, 2024
JavaScript

chemoelectric / ats2-itp-rootfinder

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

root-finding ats roots itp bracketing ats2 postiats

Updated Jul 11, 2023
Shell

farbodfld / Introduction-To-Programming-ITP-_Part4

Some ITP projects from shahid-Beheshti-University (SBU) (Creat Functions questions)

c cpp university-project itp university-assignment

Updated Aug 18, 2022
C

Pasindu-Peiris / ITP23_WD_B1_09-ITP-SLIIT

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

Seagat2011 / Anthropic-Claude-Mathematical-Proof-Solver-

An elegant Anthropic Claude designed Mathematical Proof Solver, written in Javascript, HTML, and CSS.

theorem-proving atp itp interactive-theorem-proving claude anthropic-claude

Updated Jul 12, 2025
HTML

linzhangcs / learningmachines

machine-learning itp

Updated Oct 2, 2017
Python

Skribblify

SimonKoll / Skribblify

ITP/SEW-Projekt 2020

game draw itp scribbl

Updated Jan 6, 2022
HTML

DThiwanka / ITP-PROJECT

javascript java node project itp

Updated Sep 19, 2021
CSS

farbodfld / Introduction_To_Programming-ITP-_Part1

Some ITP projects from shahid-Beheshti-University (SBU)

c itp introduction-to-programming simple-project

Updated Aug 11, 2022
C

kaweendras / ITP-Assignment-SLIIT-2nd-year-2nd-Semester

This contains the 2nd year 2nd semester ITP final Lab Assignment of SLIIT

java itp sliit

Updated Oct 2, 2019
Java

Improve this page

Add a description, image, and links to the itp topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the itp topic, visit your repo's landing page and select "manage topics."