Projects in Awesome Lists tagged with itp
A curated list of projects in awesome lists tagged with itp .
https://github.com/nature-of-code/noc-s18
Course repo and syllabus for Nature of Code Spring 2018 at ITP.
genetic-algorithm itp nature neural-network physics simulation syllabus
Last synced: 29 Jul 2025
https://github.com/jaalonso/lecturas_glc
Readings on computational logic, interactive theorem proving and functional programming.
coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog
Last synced: 10 Apr 2025
https://github.com/itpnyu/icm-2018
Syllabus for ITP Foundation Course Introduction to Computational Media, Fall 2018
beginner creative-coding education itp javascript nyu p5
Last synced: 26 Jan 2026
https://github.com/antiboredom/detourning-the-web
Syllabus and example code for 7-week class at NYU/ITP
Last synced: 13 Apr 2025
https://github.com/paulnorthrop/itp
The Interpolate, Truncate, Project (ITP) Root-Finding Algorithm
algorithm bracketing itp itp-method root-finding
Last synced: 29 Jul 2025
https://github.com/juniorxsound/itp-visual-journalism-fall-2023
Code for Fall 2023 Visual Journalism course in ITP, NYU 🎓
3d itp journalism r3f threejs webgl
Last synced: 27 Apr 2025
https://github.com/stape-io/cookie-extender-tag
Cookie Extender Tag for Google Tag Manager Server Side
cookie gtm gtm-custom-template gtm-server-side itp stape
Last synced: 07 Jan 2026
https://github.com/jaalonso/logica_con_lean
Introducción a la lógica con Lean.
Last synced: 27 Mar 2025
https://github.com/inthepocket/inthepocket-react-firebase-workshop-starter
⚛️ 👖 In The Pocket: React + Firebase workshop starter
contentful cra firebase gatsby inthepocket itp jamstack netlify react react-hooks workshop
Last synced: 14 Apr 2025
https://github.com/juniorxsound/dtw-2018
Detourning The Web class in ITP, NYU, 2018
Last synced: 18 May 2026
https://github.com/inthepocket/react-shared-component-library-demo
👨🏫Demo showcase of using react-native-web for shared component libs between React & React Native
design-system itp itp-rn-academy react react-native react-native-web react-shared-component-library
Last synced: 09 May 2025
https://github.com/zmuhls/discordedu
Preserves external versions of my pedagogical guide to teaching and learning with Discord servers.
cuny-academic-commons cuny-graduate-center discord instructional-design itp wordpress-site
Last synced: 20 Jan 2026
https://github.com/juniorxsound/opensourcecinema
A repository dedicated to open source cinema
Last synced: 04 Mar 2026
https://github.com/radser2001/online-event-management-system
Y2S2 IT Project (ITP)
express itp materialui mongodb nodejs reactjs sliit tailwindcss
Last synced: 08 Apr 2026
https://github.com/seagat2011/euclid-automated-theorem-prover
Automated Theorem Prover written in javascript HTML5 CSS3
Last synced: 05 May 2026
https://github.com/kosztyk/verificare-rar-itp
Aceasta integrare verifica valabilitatea Inspectiei Tehnice Periodice pe baza Seriei VIN.
custom homeassistant instepctie integration itp periodiuca tehnica
Last synced: 17 May 2026
https://github.com/groton-school/slim-lti-partitioned-session
Negotiate CHIPS partitioned third party session cookies from an embedded LTI Tool
chips itp lti lti-tool lti1p3 session-management slim-framework slim4 third-party-cookies
Last synced: 20 Jan 2026
https://github.com/seagat2011/euclid-automated-theorem-prover-javascript-plugin-linux-
Automated Theorem Prover written in JavaScript, CSS3 & HTML5
automated editor euclid interactive itp math theorem-prover theorem-proving
Last synced: 28 Oct 2025
https://github.com/seagat2011/anthropic-claude-mathematical-proof-solver-
An elegant Anthropic Claude designed Mathematical Proof Solver, written in Javascript, HTML, and CSS.
anthropic-claude atp claude interactive-theorem-proving itp theorem-proving
Last synced: 01 May 2026