Readings on computational logic, interactive theorem proving and functional programming.
-
Updated
Feb 5, 2026
#
itp
Here are 57 public repositories matching this topic...
The Interpolate, Truncate, Project (ITP) Root-Finding Algorithm
-
Updated
Jan 24, 2026 - C++
Negotiate CHIPS partitioned third party session cookies from an embedded LTI Tool
-
Updated
Jan 28, 2026 - PHP
Aceasta integrare verifica valabilitatea Inspectiei Tehnice Periodice pe baza Seriei VIN.
-
Updated
Dec 4, 2025 - Python
Aceasta integrare verifica valabilitatea Inspectiei Tehnice Periodice pe baza Seriei VIN.
-
Updated
Dec 4, 2025 - Python
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
The ITP/IMA Community Guidelines is an evolving work-in-progress document that establishes and communicates the commitment of the ITP/IMA community to uphold a key set of standards and obligations that aim to make ITP/IMA an inclusive and welcoming environment.
-
Updated
Aug 21, 2025 - SCSS
An elegant Anthropic Claude designed Mathematical Proof Solver, written in Javascript, HTML, and CSS.
-
Updated
Jul 12, 2025 - HTML
La traduzione in Italiano di Morrowind, Tribunal e Bloodmoon - A cura dell'ITP
-
Updated
Mar 16, 2025
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
-
Updated
Mar 15, 2025 - Python
-
Updated
Nov 22, 2024 - JavaScript
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
This is the template for Google Tag Manager to capture and save the Partnerize clickref value on landing pages.
-
Updated
May 28, 2024 - Smarty
ITP project using MERN stack (Travely - Travel and tourism web app) for SLIIT 2nd year 2nd semester project
react search jwt crud itp mern-stack sliit tailwind tailwindcss travel-and-tourism simple-admin-panel
-
Updated
Jul 15, 2023 - 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
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
Jul 11, 2023 - 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."