René's URL Explorer Experiment


Title: induction · 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:e44d94ec-cf0d-bea3-c110-500c7014c1f7
current-catalog-service-hash78339b992060a6a11548e4f18438b88c3ea1eec1b6705962d1fd145365fa2db1
request-id952E:1F0127:C15B0F:10EB595:6A4BE427
html-safe-noncef4265cfc7aa1add1763958921f7abe5ec742a1d9371a9f97ef4df4e13e3b3eb8
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5NTJFOjFGMDEyNzpDMTVCMEY6MTBFQjU5NTo2QTRCRTQyNyIsInZpc2l0b3JfaWQiOiIxNTkxODQxNTU3NDQ2Mzg2NzI3IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacae5e7a1d8e9ba92d2b52819befe83cafbcb675f7638f6892a55fcd129ab3de3f
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/induction
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
None0f5d3ba365b3985d75c32a5957c8635488d58dcf027ae6ae958eee7edaa306a2
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
releasef24da9b76b42d77b0bb458f810509565e9ba5f1a
ui-targetcanary-2
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/topics/induction#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Finduction
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%2Finduction
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Finduction&source=header
Reloadhttps://github.com/topics/induction
Reloadhttps://github.com/topics/induction
Reloadhttps://github.com/topics/induction
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.induction
All 74 https://github.com/topics/induction
Python 13 https://github.com/topics/induction?l=python
TeX 7 https://github.com/topics/induction?l=tex
C 5 https://github.com/topics/induction?l=c
C++ 5 https://github.com/topics/induction?l=c%2B%2B
Haskell 5 https://github.com/topics/induction?l=haskell
Jupyter Notebook 5 https://github.com/topics/induction?l=jupyter+notebook
JavaScript 3 https://github.com/topics/induction?l=javascript
Prolog 3 https://github.com/topics/induction?l=prolog
Rocq Prover 2 https://github.com/topics/induction?l=rocq+prover
HTML 2 https://github.com/topics/induction?l=html
Most stars https://github.com/topics/induction?o=desc&s=stars
Fewest stars https://github.com/topics/induction?o=asc&s=stars
Most forks https://github.com/topics/induction?o=desc&s=forks
Fewest forks https://github.com/topics/induction?o=asc&s=forks
Recently updated https://github.com/topics/induction?o=desc&s=updated
Least recently updated https://github.com/topics/induction?o=asc&s=updated
alexanderskulikovhttps://github.com/alexanderskulikov
discrete-math-python-scriptshttps://github.com/alexanderskulikov/discrete-math-python-scripts
Star 449 https://github.com/login?return_to=%2Falexanderskulikov%2Fdiscrete-math-python-scripts
Code https://github.com/alexanderskulikov/discrete-math-python-scripts
Issues https://github.com/alexanderskulikov/discrete-math-python-scripts/issues
Pull requests https://github.com/alexanderskulikov/discrete-math-python-scripts/pulls
pythonhttps://github.com/topics/python
cryptographyhttps://github.com/topics/cryptography
algorithmshttps://github.com/topics/algorithms
graph-algorithmshttps://github.com/topics/graph-algorithms
graphshttps://github.com/topics/graphs
logichttps://github.com/topics/logic
probabilityhttps://github.com/topics/probability
mathematicshttps://github.com/topics/mathematics
python3https://github.com/topics/python3
recursionhttps://github.com/topics/recursion
enumerationhttps://github.com/topics/enumeration
discrete-mathematicshttps://github.com/topics/discrete-mathematics
combinatoricshttps://github.com/topics/combinatorics
dynamic-programminghttps://github.com/topics/dynamic-programming
bayeshttps://github.com/topics/bayes
inductionhttps://github.com/topics/induction
number-theoryhttps://github.com/topics/number-theory
combinatorics-and-probabilityhttps://github.com/topics/combinatorics-and-probability
spamegg1https://github.com/spamegg1
Math-for-CS-solutionshttps://github.com/spamegg1/Math-for-CS-solutions
Star 193 https://github.com/login?return_to=%2Fspamegg1%2FMath-for-CS-solutions
Code https://github.com/spamegg1/Math-for-CS-solutions
Issues https://github.com/spamegg1/Math-for-CS-solutions/issues
Pull requests https://github.com/spamegg1/Math-for-CS-solutions/pulls
Discussions https://github.com/spamegg1/Math-for-CS-solutions/discussions
computer-sciencehttps://github.com/topics/computer-science
calculushttps://github.com/topics/calculus
mathhttps://github.com/topics/math
graphhttps://github.com/topics/graph
solutionhttps://github.com/topics/solution
functionshttps://github.com/topics/functions
logichttps://github.com/topics/logic
probabilityhttps://github.com/topics/probability
set-theoryhttps://github.com/topics/set-theory
graph-theoryhttps://github.com/topics/graph-theory
countinghttps://github.com/topics/counting
proofshttps://github.com/topics/proofs
inductionhttps://github.com/topics/induction
rsa-cryptographyhttps://github.com/topics/rsa-cryptography
number-theoryhttps://github.com/topics/number-theory
setshttps://github.com/topics/sets
random-walkshttps://github.com/topics/random-walks
sneeuwballenhttps://github.com/sneeuwballen
zipperpositionhttps://github.com/sneeuwballen/zipperposition
Star 167 https://github.com/login?return_to=%2Fsneeuwballen%2Fzipperposition
Code https://github.com/sneeuwballen/zipperposition
Issues https://github.com/sneeuwballen/zipperposition/issues
Pull requests https://github.com/sneeuwballen/zipperposition/pulls
prototypehttps://github.com/topics/prototype
experimentalhttps://github.com/topics/experimental
ocamlhttps://github.com/topics/ocaml
computer-science-algorithmshttps://github.com/topics/computer-science-algorithms
logichttps://github.com/topics/logic
polymorphismhttps://github.com/topics/polymorphism
cnfhttps://github.com/topics/cnf
superpositionhttps://github.com/topics/superposition
saturationhttps://github.com/topics/saturation
inductionhttps://github.com/topics/induction
symbolic-computationhttps://github.com/topics/symbolic-computation
proverhttps://github.com/topics/prover
rewritinghttps://github.com/topics/rewriting
Ashish7129https://github.com/Ashish7129
Graph_Samplinghttps://github.com/Ashish7129/Graph_Sampling
Star 164 https://github.com/login?return_to=%2FAshish7129%2FGraph_Sampling
Code https://github.com/Ashish7129/Graph_Sampling
Issues https://github.com/Ashish7129/Graph_Sampling/issues
Pull requests https://github.com/Ashish7129/Graph_Sampling/pulls
pythonhttps://github.com/topics/python
samplehttps://github.com/topics/sample
data-mininghttps://github.com/topics/data-mining
big-datahttps://github.com/topics/big-data
networkhttps://github.com/topics/network
graphshttps://github.com/topics/graphs
network-sciencehttps://github.com/topics/network-science
networkxhttps://github.com/topics/networkx
samplinghttps://github.com/topics/sampling
network-analysishttps://github.com/topics/network-analysis
social-network-analysishttps://github.com/topics/social-network-analysis
breadth-first-searchhttps://github.com/topics/breadth-first-search
inductionhttps://github.com/topics/induction
random-walkhttps://github.com/topics/random-walk
subgraphhttps://github.com/topics/subgraph
big-data-analyticshttps://github.com/topics/big-data-analytics
breandanhttps://github.com/breandan
galoisennehttps://github.com/breandan/galoisenne
Sponsor https://github.com/sponsors/breandan
Star 156 https://github.com/login?return_to=%2Fbreandan%2Fgaloisenne
Code https://github.com/breandan/galoisenne
Issues https://github.com/breandan/galoisenne/issues
Pull requests https://github.com/breandan/galoisenne/pulls
kotlinhttps://github.com/topics/kotlin
automatahttps://github.com/topics/automata
parsinghttps://github.com/topics/parsing
graphhttps://github.com/topics/graph
graph-algorithmshttps://github.com/topics/graph-algorithms
graphshttps://github.com/topics/graphs
linear-algebrahttps://github.com/topics/linear-algebra
graph-theoryhttps://github.com/topics/graph-theory
finite-state-machinehttps://github.com/topics/finite-state-machine
finite-fieldshttps://github.com/topics/finite-fields
inductionhttps://github.com/topics/induction
graph-grammarshttps://github.com/topics/graph-grammars
graph-matchinghttps://github.com/topics/graph-matching
adjacency-matrixhttps://github.com/topics/adjacency-matrix
graph-visualizationshttps://github.com/topics/graph-visualizations
graph-transformationhttps://github.com/topics/graph-transformation
arithmetic-circuitshttps://github.com/topics/arithmetic-circuits
functional-graphshttps://github.com/topics/functional-graphs
ThingEngineerhttps://github.com/ThingEngineer
ReactorForgehttps://github.com/ThingEngineer/ReactorForge
Star 128 https://github.com/login?return_to=%2FThingEngineer%2FReactorForge
Code https://github.com/ThingEngineer/ReactorForge
Issues https://github.com/ThingEngineer/ReactorForge/issues
Pull requests https://github.com/ThingEngineer/ReactorForge/pulls
avrhttps://github.com/topics/avr
microcontrollerhttps://github.com/topics/microcontroller
forgehttps://github.com/topics/forge
atmelhttps://github.com/topics/atmel
diyhttps://github.com/topics/diy
blacksmithhttps://github.com/topics/blacksmith
inductionhttps://github.com/topics/induction
induction-machinehttps://github.com/topics/induction-machine
power-electronicshttps://github.com/topics/power-electronics
lenzhttps://github.com/topics/lenz
inverterhttps://github.com/topics/inverter
induction-heatinghttps://github.com/topics/induction-heating
induction-heaterhttps://github.com/topics/induction-heater
i2r-heatinghttps://github.com/topics/i2r-heating
resistive-heatinghttps://github.com/topics/resistive-heating
knifesmithhttps://github.com/topics/knifesmith
reactor-forgehttps://github.com/topics/reactor-forge
melt-metalhttps://github.com/topics/melt-metal
240achttps://github.com/topics/240ac
diy-induction-heaterhttps://github.com/topics/diy-induction-heater
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
tomonclehttps://github.com/tomoncle
face-detection-induction-coursehttps://github.com/tomoncle/face-detection-induction-course
Star 47 https://github.com/login?return_to=%2Ftomoncle%2Fface-detection-induction-course
Code https://github.com/tomoncle/face-detection-induction-course
Issues https://github.com/tomoncle/face-detection-induction-course/issues
Pull requests https://github.com/tomoncle/face-detection-induction-course/pulls
opencvhttps://github.com/topics/opencv
mxnethttps://github.com/topics/mxnet
detectionhttps://github.com/topics/detection
python3https://github.com/topics/python3
gifhttps://github.com/topics/gif
facehttps://github.com/topics/face
inductionhttps://github.com/topics/induction
groupoidhttps://github.com/groupoid
groupoid.spacehttps://github.com/groupoid/groupoid.space
Star 35 https://github.com/login?return_to=%2Fgroupoid%2Fgroupoid.space
Code https://github.com/groupoid/groupoid.space
Issues https://github.com/groupoid/groupoid.space/issues
Pull requests https://github.com/groupoid/groupoid.space/pulls
pathhttps://github.com/topics/path
pihttps://github.com/topics/pi
hithttps://github.com/topics/hit
inductionhttps://github.com/topics/induction
sigmahttps://github.com/topics/sigma
mltthttps://github.com/topics/mltt
dimechohttps://github.com/dimecho
Open-Inverter-WebInterfacehttps://github.com/dimecho/Open-Inverter-WebInterface
Star 34 https://github.com/login?return_to=%2Fdimecho%2FOpen-Inverter-WebInterface
Code https://github.com/dimecho/Open-Inverter-WebInterface
Issues https://github.com/dimecho/Open-Inverter-WebInterface/issues
Pull requests https://github.com/dimecho/Open-Inverter-WebInterface/pulls
pcbhttps://github.com/topics/pcb
electrichttps://github.com/topics/electric
motorhttps://github.com/topics/motor
motor-controllerhttps://github.com/topics/motor-controller
inductionhttps://github.com/topics/induction
huebner-inverterhttps://github.com/topics/huebner-inverter
hkexgrouphttps://github.com/hkexgroup
emagpyhttps://github.com/hkexgroup/emagpy
Star 30 https://github.com/login?return_to=%2Fhkexgroup%2Femagpy
Code https://github.com/hkexgroup/emagpy
Issues https://github.com/hkexgroup/emagpy/issues
Pull requests https://github.com/hkexgroup/emagpy/pulls
http://gitlab.com/hkex/emagpyhttp://gitlab.com/hkex/emagpy
guihttps://github.com/topics/gui
inversionhttps://github.com/topics/inversion
geophysicshttps://github.com/topics/geophysics
python-apihttps://github.com/topics/python-api
inductionhttps://github.com/topics/induction
frequency-domainhttps://github.com/topics/frequency-domain
electromagnetichttps://github.com/topics/electromagnetic
msramalhohttps://github.com/msramalho
feup-iart-summaryhttps://github.com/msramalho/feup-iart-summary
Star 22 https://github.com/login?return_to=%2Fmsramalho%2Ffeup-iart-summary
Code https://github.com/msramalho/feup-iart-summary
Issues https://github.com/msramalho/feup-iart-summary/issues
Pull requests https://github.com/msramalho/feup-iart-summary/pulls
neural-networkhttps://github.com/topics/neural-network
genetic-algorithmhttps://github.com/topics/genetic-algorithm
artificial-intelligencehttps://github.com/topics/artificial-intelligence
uncertaintyhttps://github.com/topics/uncertainty
summaryhttps://github.com/topics/summary
search-algorithmhttps://github.com/topics/search-algorithm
heuristicshttps://github.com/topics/heuristics
inductionhttps://github.com/topics/induction
feuphttps://github.com/topics/feup
feup-iarthttps://github.com/topics/feup-iart
iarthttps://github.com/topics/iart
bart-inhohttps://github.com/bart-inho
EM-inversion-4-buried-icehttps://github.com/bart-inho/EM-inversion-4-buried-ice
Star 17 https://github.com/login?return_to=%2Fbart-inho%2FEM-inversion-4-buried-ice
Code https://github.com/bart-inho/EM-inversion-4-buried-ice
Issues https://github.com/bart-inho/EM-inversion-4-buried-ice/issues
Pull requests https://github.com/bart-inho/EM-inversion-4-buried-ice/pulls
matlabhttps://github.com/topics/matlab
geophysicshttps://github.com/topics/geophysics
icehttps://github.com/topics/ice
inductionhttps://github.com/topics/induction
geophysical-inversionshttps://github.com/topics/geophysical-inversions
permafrosthttps://github.com/topics/permafrost
electro-magneticshttps://github.com/topics/electro-magnetics
ground-ice-detectionhttps://github.com/topics/ground-ice-detection
dimensional-inversionshttps://github.com/topics/dimensional-inversions
lifengjinhttps://github.com/lifengjin
db-pcfghttps://github.com/lifengjin/db-pcfg
Star 13 https://github.com/login?return_to=%2Flifengjin%2Fdb-pcfg
Code https://github.com/lifengjin/db-pcfg
Issues https://github.com/lifengjin/db-pcfg/issues
Pull requests https://github.com/lifengjin/db-pcfg/pulls
grammarhttps://github.com/topics/grammar
inductionhttps://github.com/topics/induction
halvorshttps://github.com/halvors
Nuclear-Physicshttps://github.com/halvors/Nuclear-Physics
Star 12 https://github.com/login?return_to=%2Fhalvors%2FNuclear-Physics
Code https://github.com/halvors/Nuclear-Physics
Issues https://github.com/halvors/Nuclear-Physics/issues
Pull requests https://github.com/halvors/Nuclear-Physics/pulls
minecrafthttps://github.com/topics/minecraft
forgehttps://github.com/topics/forge
minecraft-modhttps://github.com/topics/minecraft-mod
minecraft-forgehttps://github.com/topics/minecraft-forge
edxhttps://github.com/topics/edx
minecraft-forge-modhttps://github.com/topics/minecraft-forge-mod
inductionhttps://github.com/topics/induction
electrodynamicshttps://github.com/topics/electrodynamics
resonanthttps://github.com/topics/resonant
atomic-sciencehttps://github.com/topics/atomic-science
resonant-inductionhttps://github.com/topics/resonant-induction
nuclearphysicshttps://github.com/topics/nuclearphysics
bobasaurushttps://github.com/bobasaurus
lumber-plunder-metal-detectorhttps://github.com/bobasaurus/lumber-plunder-metal-detector
Star 10 https://github.com/login?return_to=%2Fbobasaurus%2Flumber-plunder-metal-detector
Code https://github.com/bobasaurus/lumber-plunder-metal-detector
Issues https://github.com/bobasaurus/lumber-plunder-metal-detector/issues
Pull requests https://github.com/bobasaurus/lumber-plunder-metal-detector/pulls
metalhttps://github.com/topics/metal
sensorhttps://github.com/topics/sensor
detectorhttps://github.com/topics/detector
sensorshttps://github.com/topics/sensors
inductionhttps://github.com/topics/induction
vlfhttps://github.com/topics/vlf
detectinghttps://github.com/topics/detecting
metal-detectorhttps://github.com/topics/metal-detector
lpodkalickihttps://github.com/lpodkalicki
tiny-metal-detectorhttps://github.com/lpodkalicki/tiny-metal-detector
Sponsor https://github.com/sponsors/lpodkalicki
Star 10 https://github.com/login?return_to=%2Flpodkalicki%2Ftiny-metal-detector
Code https://github.com/lpodkalicki/tiny-metal-detector
Issues https://github.com/lpodkalicki/tiny-metal-detector/issues
Pull requests https://github.com/lpodkalicki/tiny-metal-detector/pulls
avrhttps://github.com/topics/avr
metalhttps://github.com/topics/metal
detectorhttps://github.com/topics/detector
pihttps://github.com/topics/pi
pulsehttps://github.com/topics/pulse
inductionhttps://github.com/topics/induction
attiny13https://github.com/topics/attiny13
coilhttps://github.com/topics/coil
AHartNtknhttps://github.com/AHartNtkn
IotaTThttps://github.com/AHartNtkn/IotaTT
Star 10 https://github.com/login?return_to=%2FAHartNtkn%2FIotaTT
Code https://github.com/AHartNtkn/IotaTT
Issues https://github.com/AHartNtkn/IotaTT/issues
Pull requests https://github.com/AHartNtkn/IotaTT/pulls
languagehttps://github.com/topics/language
dependent-typeshttps://github.com/topics/dependent-types
type-theoryhttps://github.com/topics/type-theory
dependent-intersectionshttps://github.com/topics/dependent-intersections
implicit-productshttps://github.com/topics/implicit-products
inductionhttps://github.com/topics/induction
lifengjinhttps://github.com/lifengjin
acl_flowhttps://github.com/lifengjin/acl_flow
Star 9 https://github.com/login?return_to=%2Flifengjin%2Facl_flow
Code https://github.com/lifengjin/acl_flow
Issues https://github.com/lifengjin/acl_flow/issues
Pull requests https://github.com/lifengjin/acl_flow/pulls
multilingualhttps://github.com/topics/multilingual
flowhttps://github.com/topics/flow
grammarhttps://github.com/topics/grammar
inductionhttps://github.com/topics/induction
AbstractPlayhttps://github.com/AbstractPlay
zendohttps://github.com/AbstractPlay/zendo
Star 6 https://github.com/login?return_to=%2FAbstractPlay%2Fzendo
Code https://github.com/AbstractPlay/zendo
Issues https://github.com/AbstractPlay/zendo/issues
Pull requests https://github.com/AbstractPlay/zendo/pulls
https://www.looneylabs.com/content/zendohttps://www.looneylabs.com/content/zendo
gamehttps://github.com/topics/game
peer-to-peerhttps://github.com/topics/peer-to-peer
logichttps://github.com/topics/logic
inductionhttps://github.com/topics/induction
Curate this topic https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-induction
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.