René's URL Explorer Experiment


Title: logics · 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: patch-diff.githubusercontent.com

route-pattern/topics/:topic_name(.:format)
route-controllertopics
route-actionshow
fetch-noncev2:68706e40-dad9-26bd-e34b-464bd13a1b21
current-catalog-service-hash82c569b93da5c18ed649ebd4c2c79437db4611a6a1373e805a3cb001c64130b7
request-idDD8E:302CF5:27ABA9C:362206F:698C8C4D
html-safe-nonce87115c0f870a99e4725ddf4d6129186f0ae3b69fd4abc7e5f22052290d3d24c2
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJERDhFOjMwMkNGNToyN0FCQTlDOjM2MjIwNkY6Njk4QzhDNEQiLCJ2aXNpdG9yX2lkIjoiNTk0NjAxMTU2MzExMDIwNjU0MSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac28e66252ee8807cda2c415646c720b77da356c9551201dbaec269e8e40be1bc3
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/logics
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
None640eeb7b6ff4d8d106235d228c0c286e82592d4d2403227b5b2b4fc5832297a4
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
release3d444f0a47beeeac94cddbb51c91ab408befe8d4
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/topics/logics#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Flogics
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
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
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
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://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Flogics
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Flogics&source=header
Reloadhttps://patch-diff.githubusercontent.com/topics/logics
Reloadhttps://patch-diff.githubusercontent.com/topics/logics
Reloadhttps://patch-diff.githubusercontent.com/topics/logics
Explorehttps://patch-diff.githubusercontent.com/explore
Topicshttps://patch-diff.githubusercontent.com/topics
Trendinghttps://patch-diff.githubusercontent.com/trending
Collectionshttps://patch-diff.githubusercontent.com/collections
Eventshttps://patch-diff.githubusercontent.com/events
GitHub Sponsorshttps://patch-diff.githubusercontent.com/sponsors/explore
Star https://patch-diff.githubusercontent.com/login?return_to=%2Ftopic.logics
All 36 https://github.com/topics/logics
Python 10 https://github.com/topics/logics?l=python
JavaScript 7 https://github.com/topics/logics?l=javascript
HTML 4 https://github.com/topics/logics?l=html
Go 3 https://github.com/topics/logics?l=go
C 2 https://github.com/topics/logics?l=c
C++ 2 https://github.com/topics/logics?l=c%2B%2B
Java 2 https://github.com/topics/logics?l=java
Prolog 2 https://github.com/topics/logics?l=prolog
CoffeeScript 1 https://github.com/topics/logics?l=coffeescript
Objective-C++ 1 https://github.com/topics/logics?l=objective-c%2B%2B
Most stars https://patch-diff.githubusercontent.com/topics/logics?o=desc&s=stars
Fewest stars https://patch-diff.githubusercontent.com/topics/logics?o=asc&s=stars
Most forks https://patch-diff.githubusercontent.com/topics/logics?o=desc&s=forks
Fewest forks https://patch-diff.githubusercontent.com/topics/logics?o=asc&s=forks
Recently updated https://patch-diff.githubusercontent.com/topics/logics?o=desc&s=updated
Least recently updated https://patch-diff.githubusercontent.com/topics/logics?o=asc&s=updated
PRITHIVSAKTHIURhttps://patch-diff.githubusercontent.com/PRITHIVSAKTHIUR
VLM-Parsinghttps://patch-diff.githubusercontent.com/PRITHIVSAKTHIUR/VLM-Parsing
Star 4 https://patch-diff.githubusercontent.com/login?return_to=%2FPRITHIVSAKTHIUR%2FVLM-Parsing
Code https://patch-diff.githubusercontent.com/PRITHIVSAKTHIUR/VLM-Parsing
Issues https://patch-diff.githubusercontent.com/PRITHIVSAKTHIUR/VLM-Parsing/issues
Pull requests https://patch-diff.githubusercontent.com/PRITHIVSAKTHIUR/VLM-Parsing/pulls
htmlhttps://patch-diff.githubusercontent.com/topics/html
markdownhttps://patch-diff.githubusercontent.com/topics/markdown
cudahttps://patch-diff.githubusercontent.com/topics/cuda
pytorchhttps://patch-diff.githubusercontent.com/topics/pytorch
spaceshttps://patch-diff.githubusercontent.com/topics/spaces
gradiohttps://patch-diff.githubusercontent.com/topics/gradio
vlmhttps://patch-diff.githubusercontent.com/topics/vlm
ocr-recognitionhttps://patch-diff.githubusercontent.com/topics/ocr-recognition
logicshttps://patch-diff.githubusercontent.com/topics/logics
huggingface-transformershttps://patch-diff.githubusercontent.com/topics/huggingface-transformers
huggingface-modelshttps://patch-diff.githubusercontent.com/topics/huggingface-models
huggingface-spaceshttps://patch-diff.githubusercontent.com/topics/huggingface-spaces
qwen2-5-vlhttps://patch-diff.githubusercontent.com/topics/qwen2-5-vl
PluralityNEThttps://patch-diff.githubusercontent.com/PluralityNET
Project.GodAndAdam.Distributedhttps://patch-diff.githubusercontent.com/PluralityNET/Project.GodAndAdam.Distributed
Star 3 https://patch-diff.githubusercontent.com/login?return_to=%2FPluralityNET%2FProject.GodAndAdam.Distributed
Code https://patch-diff.githubusercontent.com/PluralityNET/Project.GodAndAdam.Distributed
Issues https://patch-diff.githubusercontent.com/PluralityNET/Project.GodAndAdam.Distributed/issues
Pull requests https://patch-diff.githubusercontent.com/PluralityNET/Project.GodAndAdam.Distributed/pulls
aihttps://patch-diff.githubusercontent.com/topics/ai
logichttps://patch-diff.githubusercontent.com/topics/logic
artificial-intelligencehttps://patch-diff.githubusercontent.com/topics/artificial-intelligence
symbolichttps://patch-diff.githubusercontent.com/topics/symbolic
multi-modalhttps://patch-diff.githubusercontent.com/topics/multi-modal
hypothesis-testinghttps://patch-diff.githubusercontent.com/topics/hypothesis-testing
multi-modal-logichttps://patch-diff.githubusercontent.com/topics/multi-modal-logic
hypotheseshttps://patch-diff.githubusercontent.com/topics/hypotheses
hypothesis-and-selectionhttps://patch-diff.githubusercontent.com/topics/hypothesis-and-selection
logicshttps://patch-diff.githubusercontent.com/topics/logics
symbolic-aihttps://patch-diff.githubusercontent.com/topics/symbolic-ai
pluralitynethttps://patch-diff.githubusercontent.com/topics/pluralitynet
symbolic-artificial-intelligencehttps://patch-diff.githubusercontent.com/topics/symbolic-artificial-intelligence
ai-forecasting-and-planninghttps://patch-diff.githubusercontent.com/topics/ai-forecasting-and-planning
multi-modal-logicshttps://patch-diff.githubusercontent.com/topics/multi-modal-logics
all-inclusivehttps://patch-diff.githubusercontent.com/topics/all-inclusive
all-inclusive-approachhttps://patch-diff.githubusercontent.com/topics/all-inclusive-approach
axiom-hypotheseshttps://patch-diff.githubusercontent.com/topics/axiom-hypotheses
axiom-hypothesishttps://patch-diff.githubusercontent.com/topics/axiom-hypothesis
multi-type-valued-logic-statementshttps://patch-diff.githubusercontent.com/topics/multi-type-valued-logic-statements
andydowsenhttps://patch-diff.githubusercontent.com/andydowsen
voice-assistanthttps://patch-diff.githubusercontent.com/andydowsen/voice-assistant
Star 3 https://patch-diff.githubusercontent.com/login?return_to=%2Fandydowsen%2Fvoice-assistant
Code https://patch-diff.githubusercontent.com/andydowsen/voice-assistant
Issues https://patch-diff.githubusercontent.com/andydowsen/voice-assistant/issues
Pull requests https://patch-diff.githubusercontent.com/andydowsen/voice-assistant/pulls
pythonhttps://patch-diff.githubusercontent.com/topics/python
tensorflowhttps://patch-diff.githubusercontent.com/topics/tensorflow
voice-commandshttps://patch-diff.githubusercontent.com/topics/voice-commands
speech-recognitionhttps://patch-diff.githubusercontent.com/topics/speech-recognition
voice-assistanthttps://patch-diff.githubusercontent.com/topics/voice-assistant
logicshttps://patch-diff.githubusercontent.com/topics/logics
FaisalAhmedBijoyhttps://patch-diff.githubusercontent.com/FaisalAhmedBijoy
Shooter-Aircraft-Game-using-PyGame-Libraryhttps://patch-diff.githubusercontent.com/FaisalAhmedBijoy/Shooter-Aircraft-Game-using-PyGame-Library
Star 2 https://patch-diff.githubusercontent.com/login?return_to=%2FFaisalAhmedBijoy%2FShooter-Aircraft-Game-using-PyGame-Library
Code https://patch-diff.githubusercontent.com/FaisalAhmedBijoy/Shooter-Aircraft-Game-using-PyGame-Library
Issues https://patch-diff.githubusercontent.com/FaisalAhmedBijoy/Shooter-Aircraft-Game-using-PyGame-Library/issues
Pull requests https://patch-diff.githubusercontent.com/FaisalAhmedBijoy/Shooter-Aircraft-Game-using-PyGame-Library/pulls
gamehttps://patch-diff.githubusercontent.com/topics/game
pythonhttps://patch-diff.githubusercontent.com/topics/python
researchhttps://patch-diff.githubusercontent.com/topics/research
game-developmenthttps://patch-diff.githubusercontent.com/topics/game-development
pygamehttps://patch-diff.githubusercontent.com/topics/pygame
logicshttps://patch-diff.githubusercontent.com/topics/logics
kuethttps://patch-diff.githubusercontent.com/topics/kuet
vitingrhttps://patch-diff.githubusercontent.com/vitingr
data-structure-algorithmshttps://patch-diff.githubusercontent.com/vitingr/data-structure-algorithms
Star 2 https://patch-diff.githubusercontent.com/login?return_to=%2Fvitingr%2Fdata-structure-algorithms
Code https://patch-diff.githubusercontent.com/vitingr/data-structure-algorithms
Issues https://patch-diff.githubusercontent.com/vitingr/data-structure-algorithms/issues
Pull requests https://patch-diff.githubusercontent.com/vitingr/data-structure-algorithms/pulls
golanghttps://patch-diff.githubusercontent.com/topics/golang
data-structurehttps://patch-diff.githubusercontent.com/topics/data-structure
algorithmshttps://patch-diff.githubusercontent.com/topics/algorithms
logicshttps://patch-diff.githubusercontent.com/topics/logics
FShinodahttps://patch-diff.githubusercontent.com/FShinoda
odin-calculatorhttps://patch-diff.githubusercontent.com/FShinoda/odin-calculator
Star 2 https://patch-diff.githubusercontent.com/login?return_to=%2FFShinoda%2Fodin-calculator
Code https://patch-diff.githubusercontent.com/FShinoda/odin-calculator
Issues https://patch-diff.githubusercontent.com/FShinoda/odin-calculator/issues
Pull requests https://patch-diff.githubusercontent.com/FShinoda/odin-calculator/pulls
javascripthttps://patch-diff.githubusercontent.com/topics/javascript
csshttps://patch-diff.githubusercontent.com/topics/css
htmlhttps://patch-diff.githubusercontent.com/topics/html
jshttps://patch-diff.githubusercontent.com/topics/js
flexboxhttps://patch-diff.githubusercontent.com/topics/flexbox
dom-manipulationhttps://patch-diff.githubusercontent.com/topics/dom-manipulation
logicshttps://patch-diff.githubusercontent.com/topics/logics
davidpomerenkehttps://patch-diff.githubusercontent.com/davidpomerenke
aima.jshttps://patch-diff.githubusercontent.com/davidpomerenke/aima.js
Star 2 https://patch-diff.githubusercontent.com/login?return_to=%2Fdavidpomerenke%2Faima.js
Code https://patch-diff.githubusercontent.com/davidpomerenke/aima.js
Issues https://patch-diff.githubusercontent.com/davidpomerenke/aima.js/issues
Pull requests https://patch-diff.githubusercontent.com/davidpomerenke/aima.js/pulls
searchhttps://patch-diff.githubusercontent.com/topics/search
coffeescripthttps://patch-diff.githubusercontent.com/topics/coffeescript
gameshttps://patch-diff.githubusercontent.com/topics/games
nodehttps://patch-diff.githubusercontent.com/topics/node
optimizationhttps://patch-diff.githubusercontent.com/topics/optimization
artificial-intelligencehttps://patch-diff.githubusercontent.com/topics/artificial-intelligence
constraintshttps://patch-diff.githubusercontent.com/topics/constraints
problem-solvinghttps://patch-diff.githubusercontent.com/topics/problem-solving
aimahttps://patch-diff.githubusercontent.com/topics/aima
logicshttps://patch-diff.githubusercontent.com/topics/logics
watson-clarahttps://patch-diff.githubusercontent.com/watson-clara
Logics-Database-Report-Scrapperhttps://patch-diff.githubusercontent.com/watson-clara/Logics-Database-Report-Scrapper
Star 2 https://patch-diff.githubusercontent.com/login?return_to=%2Fwatson-clara%2FLogics-Database-Report-Scrapper
Code https://patch-diff.githubusercontent.com/watson-clara/Logics-Database-Report-Scrapper
Issues https://patch-diff.githubusercontent.com/watson-clara/Logics-Database-Report-Scrapper/issues
Pull requests https://patch-diff.githubusercontent.com/watson-clara/Logics-Database-Report-Scrapper/pulls
scraperhttps://patch-diff.githubusercontent.com/topics/scraper
databasehttps://patch-diff.githubusercontent.com/topics/database
seleniumhttps://patch-diff.githubusercontent.com/topics/selenium
data-scrapinghttps://patch-diff.githubusercontent.com/topics/data-scraping
logicshttps://patch-diff.githubusercontent.com/topics/logics
https://patch-diff.githubusercontent.com/aragonxpd154/8-bits-computer
aragonxpd154https://patch-diff.githubusercontent.com/aragonxpd154
8-bits-computerhttps://patch-diff.githubusercontent.com/aragonxpd154/8-bits-computer
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2Faragonxpd154%2F8-bits-computer
Code https://patch-diff.githubusercontent.com/aragonxpd154/8-bits-computer
Issues https://patch-diff.githubusercontent.com/aragonxpd154/8-bits-computer/issues
Pull requests https://patch-diff.githubusercontent.com/aragonxpd154/8-bits-computer/pulls
programminghttps://patch-diff.githubusercontent.com/topics/programming
systemhttps://patch-diff.githubusercontent.com/topics/system
hardwarehttps://patch-diff.githubusercontent.com/topics/hardware
bushttps://patch-diff.githubusercontent.com/topics/bus
projecthttps://patch-diff.githubusercontent.com/topics/project
devhttps://patch-diff.githubusercontent.com/topics/dev
computerhttps://patch-diff.githubusercontent.com/topics/computer
abstractionhttps://patch-diff.githubusercontent.com/topics/abstraction
8bithttps://patch-diff.githubusercontent.com/topics/8bit
engenhariahttps://patch-diff.githubusercontent.com/topics/engenharia
acchttps://patch-diff.githubusercontent.com/topics/acc
ulahttps://patch-diff.githubusercontent.com/topics/ula
logicshttps://patch-diff.githubusercontent.com/topics/logics
computadorhttps://patch-diff.githubusercontent.com/topics/computador
acadehttps://patch-diff.githubusercontent.com/topics/acade
sequenciahttps://patch-diff.githubusercontent.com/topics/sequencia
FShinodahttps://patch-diff.githubusercontent.com/FShinoda
javascript-exerciseshttps://patch-diff.githubusercontent.com/FShinoda/javascript-exercises
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2FFShinoda%2Fjavascript-exercises
Code https://patch-diff.githubusercontent.com/FShinoda/javascript-exercises
Issues https://patch-diff.githubusercontent.com/FShinoda/javascript-exercises/issues
Pull requests https://patch-diff.githubusercontent.com/FShinoda/javascript-exercises/pulls
javascripthttps://patch-diff.githubusercontent.com/topics/javascript
jshttps://patch-diff.githubusercontent.com/topics/js
exerciseshttps://patch-diff.githubusercontent.com/topics/exercises
logicshttps://patch-diff.githubusercontent.com/topics/logics
mmegphttps://patch-diff.githubusercontent.com/mmegp
mmegphttps://patch-diff.githubusercontent.com/mmegp/mmegp
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2Fmmegp%2Fmmegp
Code https://patch-diff.githubusercontent.com/mmegp/mmegp
Issues https://patch-diff.githubusercontent.com/mmegp/mmegp/issues
Pull requests https://patch-diff.githubusercontent.com/mmegp/mmegp/pulls
Discussions https://patch-diff.githubusercontent.com/mmegp/mmegp/discussions
https://beacons.ai/krichuvkahttps://beacons.ai/krichuvka
https://linkedin.com/in/egphilippovhttps://linkedin.com/in/egphilippov
metahttps://patch-diff.githubusercontent.com/topics/meta
oberonhttps://patch-diff.githubusercontent.com/topics/oberon
mathhttps://patch-diff.githubusercontent.com/topics/math
logichttps://patch-diff.githubusercontent.com/topics/logic
mathematicshttps://patch-diff.githubusercontent.com/topics/mathematics
mmhttps://patch-diff.githubusercontent.com/topics/mm
logicshttps://patch-diff.githubusercontent.com/topics/logics
metamathhttps://patch-diff.githubusercontent.com/topics/metamath
oberonshttps://patch-diff.githubusercontent.com/topics/oberons
meta-mathhttps://patch-diff.githubusercontent.com/topics/meta-math
rohitcoderhttps://patch-diff.githubusercontent.com/rohitcoder
Attended-Hackathonshttps://patch-diff.githubusercontent.com/rohitcoder/Attended-Hackathons
Sponsor https://patch-diff.githubusercontent.com/sponsors/rohitcoder
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2Frohitcoder%2FAttended-Hackathons
Code https://patch-diff.githubusercontent.com/rohitcoder/Attended-Hackathons
Issues https://patch-diff.githubusercontent.com/rohitcoder/Attended-Hackathons/issues
Pull requests https://patch-diff.githubusercontent.com/rohitcoder/Attended-Hackathons/pulls
javascripthttps://patch-diff.githubusercontent.com/topics/javascript
pythonhttps://patch-diff.githubusercontent.com/topics/python
phphttps://patch-diff.githubusercontent.com/topics/php
erphttps://patch-diff.githubusercontent.com/topics/erp
numpyhttps://patch-diff.githubusercontent.com/topics/numpy
matrixhttps://patch-diff.githubusercontent.com/topics/matrix
google-cloudhttps://patch-diff.githubusercontent.com/topics/google-cloud
blood-bank-managementhttps://patch-diff.githubusercontent.com/topics/blood-bank-management
google-matrixhttps://patch-diff.githubusercontent.com/topics/google-matrix
logicshttps://patch-diff.githubusercontent.com/topics/logics
Mutahir-15https://patch-diff.githubusercontent.com/Mutahir-15
PYTHON-PROJECTShttps://patch-diff.githubusercontent.com/Mutahir-15/PYTHON-PROJECTS
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2FMutahir-15%2FPYTHON-PROJECTS
Code https://patch-diff.githubusercontent.com/Mutahir-15/PYTHON-PROJECTS
Issues https://patch-diff.githubusercontent.com/Mutahir-15/PYTHON-PROJECTS/issues
Pull requests https://patch-diff.githubusercontent.com/Mutahir-15/PYTHON-PROJECTS/pulls
pythonhttps://patch-diff.githubusercontent.com/topics/python
programminghttps://patch-diff.githubusercontent.com/topics/programming
projectshttps://patch-diff.githubusercontent.com/topics/projects
web-applicationhttps://patch-diff.githubusercontent.com/topics/web-application
assignmentshttps://patch-diff.githubusercontent.com/topics/assignments
logicshttps://patch-diff.githubusercontent.com/topics/logics
streamlithttps://patch-diff.githubusercontent.com/topics/streamlit
Talismanch1khttps://patch-diff.githubusercontent.com/Talismanch1k
neuro-solverhttps://patch-diff.githubusercontent.com/Talismanch1k/neuro-solver
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2FTalismanch1k%2Fneuro-solver
Code https://patch-diff.githubusercontent.com/Talismanch1k/neuro-solver
Issues https://patch-diff.githubusercontent.com/Talismanch1k/neuro-solver/issues
Pull requests https://patch-diff.githubusercontent.com/Talismanch1k/neuro-solver/pulls
gohttps://patch-diff.githubusercontent.com/topics/go
golanghttps://patch-diff.githubusercontent.com/topics/golang
aihttps://patch-diff.githubusercontent.com/topics/ai
logicshttps://patch-diff.githubusercontent.com/topics/logics
cxlvinchauhttps://patch-diff.githubusercontent.com/cxlvinchau
mu-calculushttps://patch-diff.githubusercontent.com/cxlvinchau/mu-calculus
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2Fcxlvinchau%2Fmu-calculus
Code https://patch-diff.githubusercontent.com/cxlvinchau/mu-calculus
Issues https://patch-diff.githubusercontent.com/cxlvinchau/mu-calculus/issues
Pull requests https://patch-diff.githubusercontent.com/cxlvinchau/mu-calculus/pulls
model-checkinghttps://patch-diff.githubusercontent.com/topics/model-checking
fixed-pointhttps://patch-diff.githubusercontent.com/topics/fixed-point
modal-logichttps://patch-diff.githubusercontent.com/topics/modal-logic
mu-calculushttps://patch-diff.githubusercontent.com/topics/mu-calculus
logicshttps://patch-diff.githubusercontent.com/topics/logics
SEG-UNIBEhttps://patch-diff.githubusercontent.com/SEG-UNIBE
tlparserhttps://patch-diff.githubusercontent.com/SEG-UNIBE/tlparser
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2FSEG-UNIBE%2Ftlparser
Code https://patch-diff.githubusercontent.com/SEG-UNIBE/tlparser
Issues https://patch-diff.githubusercontent.com/SEG-UNIBE/tlparser/issues
Pull requests https://patch-diff.githubusercontent.com/SEG-UNIBE/tlparser/pulls
pythonhttps://patch-diff.githubusercontent.com/topics/python
ltlhttps://patch-diff.githubusercontent.com/topics/ltl
temporal-logichttps://patch-diff.githubusercontent.com/topics/temporal-logic
logicshttps://patch-diff.githubusercontent.com/topics/logics
Thousifibrahimhttps://patch-diff.githubusercontent.com/Thousifibrahim
Experimentalhttps://patch-diff.githubusercontent.com/Thousifibrahim/Experimental
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2FThousifibrahim%2FExperimental
Code https://patch-diff.githubusercontent.com/Thousifibrahim/Experimental
Issues https://patch-diff.githubusercontent.com/Thousifibrahim/Experimental/issues
Pull requests https://patch-diff.githubusercontent.com/Thousifibrahim/Experimental/pulls
basichttps://patch-diff.githubusercontent.com/topics/basic
ui-designhttps://patch-diff.githubusercontent.com/topics/ui-design
learning-by-doinghttps://patch-diff.githubusercontent.com/topics/learning-by-doing
html-css-javascripthttps://patch-diff.githubusercontent.com/topics/html-css-javascript
ux-designhttps://patch-diff.githubusercontent.com/topics/ux-design
logicshttps://patch-diff.githubusercontent.com/topics/logics
MuhammadIbrahim-devhttps://patch-diff.githubusercontent.com/MuhammadIbrahim-dev
javascript-serieshttps://patch-diff.githubusercontent.com/MuhammadIbrahim-dev/javascript-series
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2FMuhammadIbrahim-dev%2Fjavascript-series
Code https://patch-diff.githubusercontent.com/MuhammadIbrahim-dev/javascript-series
Issues https://patch-diff.githubusercontent.com/MuhammadIbrahim-dev/javascript-series/issues
Pull requests https://patch-diff.githubusercontent.com/MuhammadIbrahim-dev/javascript-series/pulls
practicehttps://patch-diff.githubusercontent.com/topics/practice
backendhttps://patch-diff.githubusercontent.com/topics/backend
arrayhttps://patch-diff.githubusercontent.com/topics/array
constructorhttps://patch-diff.githubusercontent.com/topics/constructor
logicshttps://patch-diff.githubusercontent.com/topics/logics
datatypes-in-jshttps://patch-diff.githubusercontent.com/topics/datatypes-in-js
backendpractichttps://patch-diff.githubusercontent.com/topics/backendpractic
datatypshttps://patch-diff.githubusercontent.com/topics/datatyps
arraymethodeshttps://patch-diff.githubusercontent.com/topics/arraymethodes
CS4Usamahttps://patch-diff.githubusercontent.com/CS4Usama
Cpp-Important-Logicshttps://patch-diff.githubusercontent.com/CS4Usama/Cpp-Important-Logics
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2FCS4Usama%2FCpp-Important-Logics
Code https://patch-diff.githubusercontent.com/CS4Usama/Cpp-Important-Logics
Issues https://patch-diff.githubusercontent.com/CS4Usama/Cpp-Important-Logics/issues
Pull requests https://patch-diff.githubusercontent.com/CS4Usama/Cpp-Important-Logics/pulls
Discussions https://patch-diff.githubusercontent.com/CS4Usama/Cpp-Important-Logics/discussions
chttps://patch-diff.githubusercontent.com/topics/c
cpphttps://patch-diff.githubusercontent.com/topics/cpp
programming-exerciseshttps://patch-diff.githubusercontent.com/topics/programming-exercises
programming-challengeshttps://patch-diff.githubusercontent.com/topics/programming-challenges
mini-projectshttps://patch-diff.githubusercontent.com/topics/mini-projects
logical-programminghttps://patch-diff.githubusercontent.com/topics/logical-programming
logicshttps://patch-diff.githubusercontent.com/topics/logics
important-c-programshttps://patch-diff.githubusercontent.com/topics/important-c-programs
Brandon2247https://patch-diff.githubusercontent.com/Brandon2247
Programacion-Logica-y-Funcionalhttps://patch-diff.githubusercontent.com/Brandon2247/Programacion-Logica-y-Funcional
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2FBrandon2247%2FProgramacion-Logica-y-Funcional
Code https://patch-diff.githubusercontent.com/Brandon2247/Programacion-Logica-y-Funcional
Issues https://patch-diff.githubusercontent.com/Brandon2247/Programacion-Logica-y-Funcional/issues
Pull requests https://patch-diff.githubusercontent.com/Brandon2247/Programacion-Logica-y-Funcional/pulls
funcional-programminghttps://patch-diff.githubusercontent.com/topics/funcional-programming
logical-programminghttps://patch-diff.githubusercontent.com/topics/logical-programming
logicshttps://patch-diff.githubusercontent.com/topics/logics
funtionalprogramminghttps://patch-diff.githubusercontent.com/topics/funtionalprogramming
plfhttps://patch-diff.githubusercontent.com/topics/plf
Curate this topic https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-logics
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.