René's URL Explorer Experiment


Title: itp · GitHub Topics · GitHub

Open Graph Title: Build software better, together

X Title: GitHub

Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Open Graph Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

X Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Opengraph URL: https://github.com

X: github

direct link

Domain: github.com

route-pattern/topics/:topic_name(.:format)
route-controllertopics
route-actionshow
fetch-noncev2:5645c7f0-fa85-3721-3d43-4b39d4e2a1e1
current-catalog-service-hash78339b992060a6a11548e4f18438b88c3ea1eec1b6705962d1fd145365fa2db1
request-id9F28:3D802B:97C2377:CDAC52B:6A4B9DD9
html-safe-nonce5796655f7b32f3bf022c07ba2c99f03c96cce06d411811c406cd4e2f28090988
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5RjI4OjNEODAyQjo5N0MyMzc3OkNEQUM1MkI6NkE0QjlERDkiLCJ2aXNpdG9yX2lkIjoiNTQzMDM1OTE4MTEzNDM3MjMxMyIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmaca8b70269c9faa84c599b7602808cc71bea8b9dbb20c78c0528cddbde143d2e4f
github-keyboard-shortcutscopilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/topics/itp
og:site_nameGitHub
og:imagehttps://github.githubassets.com/assets/github-octocat-13c86b8b336d.png
og:image:typeimage/png
og:image:width1200
og:image:height620
twitter:site:id13334762
twitter:creatorgithub
twitter:creator:id13334762
twitter:cardsummary_large_image
twitter:imagehttps://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png
twitter:image:width1200
twitter:image:height1200
hostnamegithub.com
expected-hostnamegithub.com
Nonea7e470aeb8fedd833ae331b0a162f6c5a72c09b899dd94a7cd531e5e0e3a93d5
turbo-cache-controlno-preview
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release59ad79fae8b165db9a62b2142d969fa7b21eedcf
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/topics/itp#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fitp
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fitp
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fitp&source=header
Reloadhttps://github.com/topics/itp
Reloadhttps://github.com/topics/itp
Reloadhttps://github.com/topics/itp
Explorehttps://github.com/explore
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Eventshttps://github.com/events
GitHub Sponsorshttps://github.com/sponsors/explore
Star https://github.com/login?return_to=%2Ftopic.itp
All 74 https://github.com/topics/itp
JavaScript 29 https://github.com/topics/itp?l=javascript
Python 6 https://github.com/topics/itp?l=python
C 5 https://github.com/topics/itp?l=c
TypeScript 3 https://github.com/topics/itp?l=typescript
C++ 2 https://github.com/topics/itp?l=c%2B%2B
HTML 2 https://github.com/topics/itp?l=html
Isabelle 2 https://github.com/topics/itp?l=isabelle
Jupyter Notebook 2 https://github.com/topics/itp?l=jupyter+notebook
PHP 2 https://github.com/topics/itp?l=php
SCSS 2 https://github.com/topics/itp?l=scss
Most stars https://github.com/topics/itp?o=desc&s=stars
Fewest stars https://github.com/topics/itp?o=asc&s=stars
Most forks https://github.com/topics/itp?o=desc&s=forks
Fewest forks https://github.com/topics/itp?o=asc&s=forks
Recently updated https://github.com/topics/itp?o=desc&s=updated
Least recently updated https://github.com/topics/itp?o=asc&s=updated
jaalonsohttps://github.com/jaalonso
Lecturas_GLChttps://github.com/jaalonso/Lecturas_GLC
Star 94 https://github.com/login?return_to=%2Fjaalonso%2FLecturas_GLC
Code https://github.com/jaalonso/Lecturas_GLC
Issues https://github.com/jaalonso/Lecturas_GLC/issues
Pull requests https://github.com/jaalonso/Lecturas_GLC/pulls
haskellhttps://github.com/topics/haskell
functional-programminghttps://github.com/topics/functional-programming
coqhttps://github.com/topics/coq
logichttps://github.com/topics/logic
prologhttps://github.com/topics/prolog
logic-programminghttps://github.com/topics/logic-programming
isabelle-holhttps://github.com/topics/isabelle-hol
itphttps://github.com/topics/itp
leanproverhttps://github.com/topics/leanprover
nature-of-codehttps://github.com/nature-of-code
NOC-S18https://github.com/nature-of-code/NOC-S18
Star 91 https://github.com/login?return_to=%2Fnature-of-code%2FNOC-S18
Code https://github.com/nature-of-code/NOC-S18
Issues https://github.com/nature-of-code/NOC-S18/issues
Pull requests https://github.com/nature-of-code/NOC-S18/pulls
neural-networkhttps://github.com/topics/neural-network
simulationhttps://github.com/topics/simulation
physicshttps://github.com/topics/physics
genetic-algorithmhttps://github.com/topics/genetic-algorithm
syllabushttps://github.com/topics/syllabus
naturehttps://github.com/topics/nature
itphttps://github.com/topics/itp
data61https://github.com/data61
PSLhttps://github.com/data61/PSL
Star 75 https://github.com/login?return_to=%2Fdata61%2FPSL
Code https://github.com/data61/PSL
Issues https://github.com/data61/PSL/issues
Pull requests https://github.com/data61/PSL/pulls
machine-learninghttps://github.com/topics/machine-learning
proofhttps://github.com/topics/proof
artificial-intelligencehttps://github.com/topics/artificial-intelligence
proof-assistanthttps://github.com/topics/proof-assistant
formal-methodshttps://github.com/topics/formal-methods
isabellehttps://github.com/topics/isabelle
domain-specific-languagehttps://github.com/topics/domain-specific-language
inductionhttps://github.com/topics/induction
formal-verificationhttps://github.com/topics/formal-verification
itphttps://github.com/topics/itp
pslhttps://github.com/topics/psl
holhttps://github.com/topics/hol
interactive-theorem-provinghttps://github.com/topics/interactive-theorem-proving
conjecturehttps://github.com/topics/conjecture
formal-proofshttps://github.com/topics/formal-proofs
proof-searchhttps://github.com/topics/proof-search
proof-strategieshttps://github.com/topics/proof-strategies
kojihttps://github.com/koji
Awesome-ITPhttps://github.com/koji/Awesome-ITP
Star 64 https://github.com/login?return_to=%2Fkoji%2FAwesome-ITP
Code https://github.com/koji/Awesome-ITP
Issues https://github.com/koji/Awesome-ITP/issues
Pull requests https://github.com/koji/Awesome-ITP/pulls
awesome-listhttps://github.com/topics/awesome-list
itphttps://github.com/topics/itp
ITPNYUhttps://github.com/ITPNYU
ICM-2018https://github.com/ITPNYU/ICM-2018
Star 61 https://github.com/login?return_to=%2FITPNYU%2FICM-2018
Code https://github.com/ITPNYU/ICM-2018
Issues https://github.com/ITPNYU/ICM-2018/issues
Pull requests https://github.com/ITPNYU/ICM-2018/pulls
javascripthttps://github.com/topics/javascript
educationhttps://github.com/topics/education
creative-codinghttps://github.com/topics/creative-coding
p5https://github.com/topics/p5
beginnerhttps://github.com/topics/beginner
nyuhttps://github.com/topics/nyu
itphttps://github.com/topics/itp
antiboredomhttps://github.com/antiboredom
detourning-the-webhttps://github.com/antiboredom/detourning-the-web
Star 48 https://github.com/login?return_to=%2Fantiboredom%2Fdetourning-the-web
Code https://github.com/antiboredom/detourning-the-web
Issues https://github.com/antiboredom/detourning-the-web/issues
Pull requests https://github.com/antiboredom/detourning-the-web/pulls
webscrapinghttps://github.com/topics/webscraping
communismhttps://github.com/topics/communism
itphttps://github.com/topics/itp
IsuruX98https://github.com/IsuruX98
Travelyhttps://github.com/IsuruX98/Travely
Star 43 https://github.com/login?return_to=%2FIsuruX98%2FTravely
Code https://github.com/IsuruX98/Travely
Issues https://github.com/IsuruX98/Travely/issues
Pull requests https://github.com/IsuruX98/Travely/pulls
reacthttps://github.com/topics/react
searchhttps://github.com/topics/search
jwthttps://github.com/topics/jwt
crudhttps://github.com/topics/crud
itphttps://github.com/topics/itp
mern-stackhttps://github.com/topics/mern-stack
sliithttps://github.com/topics/sliit
tailwindhttps://github.com/topics/tailwind
tailwindcsshttps://github.com/topics/tailwindcss
travel-and-tourismhttps://github.com/topics/travel-and-tourism
simple-admin-panelhttps://github.com/topics/simple-admin-panel
tchoi8https://github.com/tchoi8
teachingasart2018https://github.com/tchoi8/teachingasart2018
Star 43 https://github.com/login?return_to=%2Ftchoi8%2Fteachingasart2018
Code https://github.com/tchoi8/teachingasart2018
Issues https://github.com/tchoi8/teachingasart2018/issues
Pull requests https://github.com/tchoi8/teachingasart2018/pulls
arthttps://github.com/topics/art
teachinghttps://github.com/topics/teaching
nyuhttps://github.com/topics/nyu
itphttps://github.com/topics/itp
dodikuhttps://github.com/dodiku
detunehttps://github.com/dodiku/detune
Star 36 https://github.com/login?return_to=%2Fdodiku%2Fdetune
Code https://github.com/dodiku/detune
Issues https://github.com/dodiku/detune/issues
Pull requests https://github.com/dodiku/detune/pulls
musichttps://github.com/topics/music
augmented-realityhttps://github.com/topics/augmented-reality
audiokithttps://github.com/topics/audiokit
cocoapodshttps://github.com/topics/cocoapods
depthhttps://github.com/topics/depth
nyuhttps://github.com/topics/nyu
itphttps://github.com/topics/itp
depth-camerahttps://github.com/topics/depth-camera
arkithttps://github.com/topics/arkit
arkit-demohttps://github.com/topics/arkit-demo
truedepthhttps://github.com/topics/truedepth
detunehttps://github.com/topics/detune
arfaceanchorhttps://github.com/topics/arfaceanchor
ITPNYUhttps://github.com/ITPNYU
ITP-IMA-Community-Guidelineshttps://github.com/ITPNYU/ITP-IMA-Community-Guidelines
Star 28 https://github.com/login?return_to=%2FITPNYU%2FITP-IMA-Community-Guidelines
Code https://github.com/ITPNYU/ITP-IMA-Community-Guidelines
Issues https://github.com/ITPNYU/ITP-IMA-Community-Guidelines/issues
Pull requests https://github.com/ITPNYU/ITP-IMA-Community-Guidelines/pulls
communityhttps://github.com/topics/community
educationhttps://github.com/topics/education
imahttps://github.com/topics/ima
itphttps://github.com/topics/itp
dodikuhttps://github.com/dodiku
NOMNOM-The-Video-Machine-v2.0https://github.com/dodiku/NOMNOM-The-Video-Machine-v2.0
Star 13 https://github.com/login?return_to=%2Fdodiku%2FNOMNOM-The-Video-Machine-v2.0
Code https://github.com/dodiku/NOMNOM-The-Video-Machine-v2.0
Issues https://github.com/dodiku/NOMNOM-The-Video-Machine-v2.0/issues
Pull requests https://github.com/dodiku/NOMNOM-The-Video-Machine-v2.0/pulls
javascripthttps://github.com/topics/javascript
musichttps://github.com/topics/music
arduinohttps://github.com/topics/arduino
synchttps://github.com/topics/sync
youtubehttps://github.com/topics/youtube
videohttps://github.com/topics/video
controllerhttps://github.com/topics/controller
play-videoshttps://github.com/topics/play-videos
djhttps://github.com/topics/dj
nyuhttps://github.com/topics/nyu
itphttps://github.com/topics/itp
music-makerhttps://github.com/topics/music-maker
physical-computinghttps://github.com/topics/physical-computing
video-machinehttps://github.com/topics/video-machine
paulnorthrophttps://github.com/paulnorthrop
itphttps://github.com/paulnorthrop/itp
Star 13 https://github.com/login?return_to=%2Fpaulnorthrop%2Fitp
Code https://github.com/paulnorthrop/itp
Issues https://github.com/paulnorthrop/itp/issues
Pull requests https://github.com/paulnorthrop/itp/pulls
algorithmhttps://github.com/topics/algorithm
root-findinghttps://github.com/topics/root-finding
itphttps://github.com/topics/itp
bracketinghttps://github.com/topics/bracketing
itp-methodhttps://github.com/topics/itp-method
juniorxsoundhttps://github.com/juniorxsound
itp-visual-journalism-fall-2023https://github.com/juniorxsound/itp-visual-journalism-fall-2023
Star 10 https://github.com/login?return_to=%2Fjuniorxsound%2Fitp-visual-journalism-fall-2023
Code https://github.com/juniorxsound/itp-visual-journalism-fall-2023
Issues https://github.com/juniorxsound/itp-visual-journalism-fall-2023/issues
Pull requests https://github.com/juniorxsound/itp-visual-journalism-fall-2023/pulls
webglhttps://github.com/topics/webgl
threejshttps://github.com/topics/threejs
journalismhttps://github.com/topics/journalism
3dhttps://github.com/topics/3d
itphttps://github.com/topics/itp
r3fhttps://github.com/topics/r3f
stape-iohttps://github.com/stape-io
cookie-extender-taghttps://github.com/stape-io/cookie-extender-tag
Star 10 https://github.com/login?return_to=%2Fstape-io%2Fcookie-extender-tag
Code https://github.com/stape-io/cookie-extender-tag
Issues https://github.com/stape-io/cookie-extender-tag/issues
Pull requests https://github.com/stape-io/cookie-extender-tag/pulls
cookiehttps://github.com/topics/cookie
gtmhttps://github.com/topics/gtm
itphttps://github.com/topics/itp
gtm-custom-templatehttps://github.com/topics/gtm-custom-template
gtm-server-sidehttps://github.com/topics/gtm-server-side
stapehttps://github.com/topics/stape
ThusharaXhttps://github.com/ThusharaX
ITP-Online-Gym-Management-Systemhttps://github.com/ThusharaX/ITP-Online-Gym-Management-System
Star 9 https://github.com/login?return_to=%2FThusharaX%2FITP-Online-Gym-Management-System
Code https://github.com/ThusharaX/ITP-Online-Gym-Management-System
Issues https://github.com/ThusharaX/ITP-Online-Gym-Management-System/issues
Pull requests https://github.com/ThusharaX/ITP-Online-Gym-Management-System/pulls
mongodbhttps://github.com/topics/mongodb
reactjshttps://github.com/topics/reactjs
nextjshttps://github.com/topics/nextjs
expressjshttps://github.com/topics/expressjs
itphttps://github.com/topics/itp
pearminihttps://github.com/pearmini
mountains-trees-names-infhttps://github.com/pearmini/mountains-trees-names-inf
Star 8 https://github.com/login?return_to=%2Fpearmini%2Fmountains-trees-names-inf
Code https://github.com/pearmini/mountains-trees-names-inf
Issues https://github.com/pearmini/mountains-trees-names-inf/issues
Pull requests https://github.com/pearmini/mountains-trees-names-inf/pulls
svghttps://github.com/topics/svg
creative-codinghttps://github.com/topics/creative-coding
procedural-generationhttps://github.com/topics/procedural-generation
landscapehttps://github.com/topics/landscape
generative-arthttps://github.com/topics/generative-art
d3jshttps://github.com/topics/d3js
interactive-arthttps://github.com/topics/interactive-art
itphttps://github.com/topics/itp
supabasehttps://github.com/topics/supabase
name2treehttps://github.com/topics/name2tree
shanshuihttps://github.com/topics/shanshui
cnecreahttps://github.com/cnecrea
pagoplatestehttps://github.com/cnecrea/pagoplateste
Star 8 https://github.com/login?return_to=%2Fcnecrea%2Fpagoplateste
Code https://github.com/cnecrea/pagoplateste
Issues https://github.com/cnecrea/pagoplateste/issues
Pull requests https://github.com/cnecrea/pagoplateste/pulls
home-assistanthttps://github.com/topics/home-assistant
rcahttps://github.com/topics/rca
itphttps://github.com/topics/itp
vehiculehttps://github.com/topics/vehicule
pagohttps://github.com/topics/pago
automatizarehttps://github.com/topics/automatizare
integrarehttps://github.com/topics/integrare
facturihttps://github.com/topics/facturi
jaalonsohttps://github.com/jaalonso
Logica_con_Leanhttps://github.com/jaalonso/Logica_con_Lean
Star 6 https://github.com/login?return_to=%2Fjaalonso%2FLogica_con_Lean
Code https://github.com/jaalonso/Logica_con_Lean
Issues https://github.com/jaalonso/Logica_con_Lean/issues
Pull requests https://github.com/jaalonso/Logica_con_Lean/pulls
logichttps://github.com/topics/logic
itphttps://github.com/topics/itp
leanproverhttps://github.com/topics/leanprover
Skyflashhttps://github.com/Skyflash
morrowind-italian-itp-translationhttps://github.com/Skyflash/morrowind-italian-itp-translation
Star 5 https://github.com/login?return_to=%2FSkyflash%2Fmorrowind-italian-itp-translation
Code https://github.com/Skyflash/morrowind-italian-itp-translation
Issues https://github.com/Skyflash/morrowind-italian-itp-translation/issues
Pull requests https://github.com/Skyflash/morrowind-italian-itp-translation/pulls
rpghttps://github.com/topics/rpg
translationhttps://github.com/topics/translation
videogameshttps://github.com/topics/videogames
morrowindhttps://github.com/topics/morrowind
itphttps://github.com/topics/itp
morrowind-modshttps://github.com/topics/morrowind-mods
luxeonhttps://github.com/luxeon
spanish-tax-calculatorshttps://github.com/luxeon/spanish-tax-calculators
Star 4 https://github.com/login?return_to=%2Fluxeon%2Fspanish-tax-calculators
Code https://github.com/luxeon/spanish-tax-calculators
Issues https://github.com/luxeon/spanish-tax-calculators/issues
Pull requests https://github.com/luxeon/spanish-tax-calculators/pulls
javascripthttps://github.com/topics/javascript
open-sourcehttps://github.com/topics/open-source
npmhttps://github.com/topics/npm
calculatorhttps://github.com/topics/calculator
taxhttps://github.com/topics/tax
retailhttps://github.com/topics/retail
spainhttps://github.com/topics/spain
social-securityhttps://github.com/topics/social-security
autonomohttps://github.com/topics/autonomo
itphttps://github.com/topics/itp
irpfhttps://github.com/topics/irpf
self-employedhttps://github.com/topics/self-employed
Curate this topic https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-itp
Learn more https://docs.github.com/en/articles/classifying-your-repository-with-topics
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.