René's URL Explorer Experiment


Title: defense-tech · 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:c697caae-1087-214b-1e5b-426b6d67c713
current-catalog-service-hash78339b992060a6a11548e4f18438b88c3ea1eec1b6705962d1fd145365fa2db1
request-idE510:356725:1263B1:18F932:6A4C1F51
html-safe-noncea7811daef5d0474dccd0eaf18ac0d6b54323748a1ef385ff107929817603d970
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFNTEwOjM1NjcyNToxMjYzQjE6MThGOTMyOjZBNEMxRjUxIiwidmlzaXRvcl9pZCI6Ijc1NjEyMDE3MDM0NjgxNDY1MTMiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac1da4c715a49107600c17ee0be35e2c573579879da3aa0b28d10823fe4c3dab18
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/defense-tech
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
None1b6b16d04026f131a36d57e3b01d0f4d26a51800edf48bf5ed0256e0ac905511
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
releasef95fb36c72adc940ff991c03531114b2245658d0
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/topics/defense-tech#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fdefense-tech
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%2Fdefense-tech
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fdefense-tech&source=header
Reloadhttps://github.com/topics/defense-tech
Reloadhttps://github.com/topics/defense-tech
Reloadhttps://github.com/topics/defense-tech
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.defense-tech
All 77 https://github.com/topics/defense-tech
Python 47 https://github.com/topics/defense-tech?l=python
TypeScript 9 https://github.com/topics/defense-tech?l=typescript
HTML 7 https://github.com/topics/defense-tech?l=html
JavaScript 4 https://github.com/topics/defense-tech?l=javascript
Shell 3 https://github.com/topics/defense-tech?l=shell
C++ 2 https://github.com/topics/defense-tech?l=c%2B%2B
Jupyter Notebook 1 https://github.com/topics/defense-tech?l=jupyter+notebook
Lean 1 https://github.com/topics/defense-tech?l=lean
Makefile 1 https://github.com/topics/defense-tech?l=makefile
Most stars https://github.com/topics/defense-tech?o=desc&s=stars
Fewest stars https://github.com/topics/defense-tech?o=asc&s=stars
Most forks https://github.com/topics/defense-tech?o=desc&s=forks
Fewest forks https://github.com/topics/defense-tech?o=asc&s=forks
Recently updated https://github.com/topics/defense-tech?o=desc&s=updated
Least recently updated https://github.com/topics/defense-tech?o=asc&s=updated
trahulkumarhttps://github.com/trahulkumar
GovSignal-Connecthttps://github.com/trahulkumar/GovSignal-Connect
Star 5 https://github.com/login?return_to=%2Ftrahulkumar%2FGovSignal-Connect
Code https://github.com/trahulkumar/GovSignal-Connect
Issues https://github.com/trahulkumar/GovSignal-Connect/issues
Pull requests https://github.com/trahulkumar/GovSignal-Connect/pulls
supply-chainhttps://github.com/topics/supply-chain
erp-integrationhttps://github.com/topics/erp-integration
defense-techhttps://github.com/topics/defense-tech
federal-datahttps://github.com/topics/federal-data
TamTunnelhttps://github.com/TamTunnel
Constellation-Hubhttps://github.com/TamTunnel/Constellation-Hub
Star 3 https://github.com/login?return_to=%2FTamTunnel%2FConstellation-Hub
Code https://github.com/TamTunnel/Constellation-Hub
Issues https://github.com/TamTunnel/Constellation-Hub/issues
Pull requests https://github.com/TamTunnel/Constellation-Hub/pulls
artificial-intelligencehttps://github.com/topics/artificial-intelligence
space-appshttps://github.com/topics/space-apps
leo-satelliteshttps://github.com/topics/leo-satellites
space-technologyhttps://github.com/topics/space-technology
satellite-operationshttps://github.com/topics/satellite-operations
space-techhttps://github.com/topics/space-tech
defense-techhttps://github.com/topics/defense-tech
defense-technologyhttps://github.com/topics/defense-technology
cognis-digitalhttps://github.com/cognis-digital
adsbwatchhttps://github.com/cognis-digital/adsbwatch
Star 3 https://github.com/login?return_to=%2Fcognis-digital%2Fadsbwatch
Code https://github.com/cognis-digital/adsbwatch
Issues https://github.com/cognis-digital/adsbwatch/issues
Pull requests https://github.com/cognis-digital/adsbwatch/pulls
Discussions https://github.com/cognis-digital/adsbwatch/discussions
pythonhttps://github.com/topics/python
clihttps://github.com/topics/cli
securityhttps://github.com/topics/security
intelligencehttps://github.com/topics/intelligence
automationhttps://github.com/topics/automation
osinthttps://github.com/topics/osint
geojsonhttps://github.com/topics/geojson
self-hostedhttps://github.com/topics/self-hosted
reconhttps://github.com/topics/recon
stixhttps://github.com/topics/stix
adsbhttps://github.com/topics/adsb
defensehttps://github.com/topics/defense
security-toolshttps://github.com/topics/security-tools
threat-intelligencehttps://github.com/topics/threat-intelligence
mcp-serverhttps://github.com/topics/mcp-server
defense-techhttps://github.com/topics/defense-tech
cognishttps://github.com/topics/cognis
cognis-digitalhttps://github.com/topics/cognis-digital
cognis-neural-suitehttps://github.com/topics/cognis-neural-suite
adsbwatchhttps://github.com/topics/adsbwatch
bforce541https://github.com/bforce541
auto-track-turrethttps://github.com/bforce541/auto-track-turret
Star 2 https://github.com/login?return_to=%2Fbforce541%2Fauto-track-turret
Code https://github.com/bforce541/auto-track-turret
Issues https://github.com/bforce541/auto-track-turret/issues
Pull requests https://github.com/bforce541/auto-track-turret/pulls
computer-visionhttps://github.com/topics/computer-vision
embedded-systemshttps://github.com/topics/embedded-systems
motor-controlhttps://github.com/topics/motor-control
defense-techhttps://github.com/topics/defense-tech
InfiniteLoop360https://github.com/InfiniteLoop360
Secure-Data-Transmission-System-SDTS---Defense-Gradehttps://github.com/InfiniteLoop360/Secure-Data-Transmission-System-SDTS---Defense-Grade
Star 2 https://github.com/login?return_to=%2FInfiniteLoop360%2FSecure-Data-Transmission-System-SDTS---Defense-Grade
Code https://github.com/InfiniteLoop360/Secure-Data-Transmission-System-SDTS---Defense-Grade
Issues https://github.com/InfiniteLoop360/Secure-Data-Transmission-System-SDTS---Defense-Grade/issues
Pull requests https://github.com/InfiniteLoop360/Secure-Data-Transmission-System-SDTS---Defense-Grade/pulls
pythonhttps://github.com/topics/python
djangohttps://github.com/topics/django
cryptographyhttps://github.com/topics/cryptography
cybersecurityhttps://github.com/topics/cybersecurity
steganographyhttps://github.com/topics/steganography
defense-techhttps://github.com/topics/defense-tech
trafficinchttps://github.com/trafficinc
sam-simulatorhttps://github.com/trafficinc/sam-simulator
Star 2 https://github.com/login?return_to=%2Ftrafficinc%2Fsam-simulator
Code https://github.com/trafficinc/sam-simulator
Issues https://github.com/trafficinc/sam-simulator/issues
Pull requests https://github.com/trafficinc/sam-simulator/pulls
pythonhttps://github.com/topics/python
simulatorhttps://github.com/topics/simulator
simulationhttps://github.com/topics/simulation
websockethttps://github.com/topics/websocket
samhttps://github.com/topics/sam
wargamehttps://github.com/topics/wargame
sensor-fusionhttps://github.com/topics/sensor-fusion
air-defensehttps://github.com/topics/air-defense
fastapihttps://github.com/topics/fastapi
ciwshttps://github.com/topics/ciws
missile-defensehttps://github.com/topics/missile-defense
defense-systemshttps://github.com/topics/defense-systems
sam-platformhttps://github.com/topics/sam-platform
military-simulationhttps://github.com/topics/military-simulation
defense-techhttps://github.com/topics/defense-tech
tactical-dashboardhttps://github.com/topics/tactical-dashboard
wasihussain914https://github.com/wasihussain914
Aegis-Edgehttps://github.com/wasihussain914/Aegis-Edge
Star 1 https://github.com/login?return_to=%2Fwasihussain914%2FAegis-Edge
Code https://github.com/wasihussain914/Aegis-Edge
Issues https://github.com/wasihussain914/Aegis-Edge/issues
Pull requests https://github.com/wasihussain914/Aegis-Edge/pulls
awshttps://github.com/topics/aws
threejshttps://github.com/topics/threejs
typescripthttps://github.com/topics/typescript
edge-computinghttps://github.com/topics/edge-computing
hackathon-winnerhttps://github.com/topics/hackathon-winner
amazon-bedrockhttps://github.com/topics/amazon-bedrock
defense-techhttps://github.com/topics/defense-tech
counter-uashttps://github.com/topics/counter-uas
jadc2https://github.com/topics/jadc2
petervartanianhttps://github.com/petervartanian
omphalOShttps://github.com/petervartanian/omphalOS
Star 1 https://github.com/login?return_to=%2Fpetervartanian%2FomphalOS
Code https://github.com/petervartanian/omphalOS
Issues https://github.com/petervartanian/omphalOS/issues
Pull requests https://github.com/petervartanian/omphalOS/pulls
reviewhttps://github.com/topics/review
commercehttps://github.com/topics/commerce
technologyhttps://github.com/topics/technology
verificationhttps://github.com/topics/verification
provenancehttps://github.com/topics/provenance
tradehttps://github.com/topics/trade
lineagehttps://github.com/topics/lineage
enforcementhttps://github.com/topics/enforcement
sanctionshttps://github.com/topics/sanctions
determinismhttps://github.com/topics/determinism
oversighthttps://github.com/topics/oversight
chain-of-custodyhttps://github.com/topics/chain-of-custody
deep-techhttps://github.com/topics/deep-tech
geoeconomicshttps://github.com/topics/geoeconomics
auditabilityhttps://github.com/topics/auditability
defense-techhttps://github.com/topics/defense-tech
export-controlshttps://github.com/topics/export-controls
Vitalcheffehttps://github.com/Vitalcheffe
vitalcheffe.github.iohttps://github.com/Vitalcheffe/vitalcheffe.github.io
Star 1 https://github.com/login?return_to=%2FVitalcheffe%2Fvitalcheffe.github.io
Code https://github.com/Vitalcheffe/vitalcheffe.github.io
Issues https://github.com/Vitalcheffe/vitalcheffe.github.io/issues
Pull requests https://github.com/Vitalcheffe/vitalcheffe.github.io/pulls
portfoliohttps://github.com/topics/portfolio
physicshttps://github.com/topics/physics
systems-engineeringhttps://github.com/topics/systems-engineering
quant-financehttps://github.com/topics/quant-finance
defense-techhttps://github.com/topics/defense-tech
szl-holdingshttps://github.com/szl-holdings
a11oyhttps://github.com/szl-holdings/a11oy
Star 1 https://github.com/login?return_to=%2Fszl-holdings%2Fa11oy
Code https://github.com/szl-holdings/a11oy
Issues https://github.com/szl-holdings/a11oy/issues
Pull requests https://github.com/szl-holdings/a11oy/pulls
Discussions https://github.com/szl-holdings/a11oy/discussions
compliancehttps://github.com/topics/compliance
governancehttps://github.com/topics/governance
udshttps://github.com/topics/uds
dssehttps://github.com/topics/dsse
agentic-aihttps://github.com/topics/agentic-ai
defense-techhttps://github.com/topics/defense-tech
policy-gateshttps://github.com/topics/policy-gates
action-gatinghttps://github.com/topics/action-gating
szl-holdingshttps://github.com/topics/szl-holdings
doctrine-v11https://github.com/topics/doctrine-v11
szl-flagshiphttps://github.com/topics/szl-flagship
lambda-conjecture-1https://github.com/topics/lambda-conjecture-1
slsa-l1https://github.com/topics/slsa-l1
cognis-digitalhttps://github.com/cognis-digital
frontline-droneshttps://github.com/cognis-digital/frontline-drones
Star 1 https://github.com/login?return_to=%2Fcognis-digital%2Ffrontline-drones
Code https://github.com/cognis-digital/frontline-drones
Issues https://github.com/cognis-digital/frontline-drones/issues
Pull requests https://github.com/cognis-digital/frontline-drones/pulls
intelligencehttps://github.com/topics/intelligence
osinthttps://github.com/topics/osint
cataloghttps://github.com/topics/catalog
uavhttps://github.com/topics/uav
dronehttps://github.com/topics/drone
roboticshttps://github.com/topics/robotics
referencehttps://github.com/topics/reference
aerospacehttps://github.com/topics/aerospace
px4https://github.com/topics/px4
mavlinkhttps://github.com/topics/mavlink
nvidiahttps://github.com/topics/nvidia
droneshttps://github.com/topics/drones
defensehttps://github.com/topics/defense
ardupilothttps://github.com/topics/ardupilot
defense-techhttps://github.com/topics/defense-tech
counter-uashttps://github.com/topics/counter-uas
cognishttps://github.com/topics/cognis
cognis-digitalhttps://github.com/cognis-digital
basemaphttps://github.com/cognis-digital/basemap
Star 0 https://github.com/login?return_to=%2Fcognis-digital%2Fbasemap
Code https://github.com/cognis-digital/basemap
Issues https://github.com/cognis-digital/basemap/issues
Pull requests https://github.com/cognis-digital/basemap/pulls
Discussions https://github.com/cognis-digital/basemap/discussions
pythonhttps://github.com/topics/python
clihttps://github.com/topics/cli
securityhttps://github.com/topics/security
machine-learninghttps://github.com/topics/machine-learning
automationhttps://github.com/topics/automation
aihttps://github.com/topics/ai
self-hostedhttps://github.com/topics/self-hosted
defensehttps://github.com/topics/defense
basemaphttps://github.com/topics/basemap
security-toolshttps://github.com/topics/security-tools
llmhttps://github.com/topics/llm
mcp-serverhttps://github.com/topics/mcp-server
defense-techhttps://github.com/topics/defense-tech
cognishttps://github.com/topics/cognis
cognis-digitalhttps://github.com/topics/cognis-digital
cognis-neural-suitehttps://github.com/topics/cognis-neural-suite
ZoaGradhttps://github.com/ZoaGrad
blackglass-evidence-indexhttps://github.com/ZoaGrad/blackglass-evidence-index
Star 0 https://github.com/login?return_to=%2FZoaGrad%2Fblackglass-evidence-index
Code https://github.com/ZoaGrad/blackglass-evidence-index
Issues https://github.com/ZoaGrad/blackglass-evidence-index/issues
Pull requests https://github.com/ZoaGrad/blackglass-evidence-index/pulls
ai-agentshttps://github.com/topics/ai-agents
evidencehttps://github.com/topics/evidence
runtime-assurancehttps://github.com/topics/runtime-assurance
defense-techhttps://github.com/topics/defense-tech
claim-boundarieshttps://github.com/topics/claim-boundaries
hardware-safetyhttps://github.com/topics/hardware-safety
cognis-digitalhttps://github.com/cognis-digital
uasloghttps://github.com/cognis-digital/uaslog
Star 0 https://github.com/login?return_to=%2Fcognis-digital%2Fuaslog
Code https://github.com/cognis-digital/uaslog
Issues https://github.com/cognis-digital/uaslog/issues
Pull requests https://github.com/cognis-digital/uaslog/pulls
Discussions https://github.com/cognis-digital/uaslog/discussions
pythonhttps://github.com/topics/python
clihttps://github.com/topics/cli
securityhttps://github.com/topics/security
automationhttps://github.com/topics/automation
uavhttps://github.com/topics/uav
dronehttps://github.com/topics/drone
aerospacehttps://github.com/topics/aerospace
self-hostedhttps://github.com/topics/self-hosted
droneshttps://github.com/topics/drones
defensehttps://github.com/topics/defense
mcp-serverhttps://github.com/topics/mcp-server
defense-techhttps://github.com/topics/defense-tech
cognishttps://github.com/topics/cognis
cognis-digitalhttps://github.com/topics/cognis-digital
cognis-neural-suitehttps://github.com/topics/cognis-neural-suite
uasloghttps://github.com/topics/uaslog
cognis-digitalhttps://github.com/cognis-digital
scifopshttps://github.com/cognis-digital/scifops
Star 0 https://github.com/login?return_to=%2Fcognis-digital%2Fscifops
Code https://github.com/cognis-digital/scifops
Issues https://github.com/cognis-digital/scifops/issues
Pull requests https://github.com/cognis-digital/scifops/pulls
Discussions https://github.com/cognis-digital/scifops/discussions
securityhttps://github.com/topics/security
aerospacehttps://github.com/topics/aerospace
compliancehttps://github.com/topics/compliance
militaryhttps://github.com/topics/military
dodhttps://github.com/topics/dod
defensehttps://github.com/topics/defense
vulnerability-scannerhttps://github.com/topics/vulnerability-scanner
rmfhttps://github.com/topics/rmf
national-securityhttps://github.com/topics/national-security
defense-techhttps://github.com/topics/defense-tech
cognishttps://github.com/topics/cognis
cognis-digitalhttps://github.com/topics/cognis-digital
cognis-neural-suitehttps://github.com/topics/cognis-neural-suite
szl-holdingshttps://github.com/szl-holdings
anatomyhttps://github.com/szl-holdings/anatomy
Star 0 https://github.com/login?return_to=%2Fszl-holdings%2Fanatomy
Code https://github.com/szl-holdings/anatomy
Issues https://github.com/szl-holdings/anatomy/issues
Pull requests https://github.com/szl-holdings/anatomy/pulls
formal-verificationhttps://github.com/topics/formal-verification
governancehttps://github.com/topics/governance
lean4https://github.com/topics/lean4
dssehttps://github.com/topics/dsse
agentic-aihttps://github.com/topics/agentic-ai
defense-techhttps://github.com/topics/defense-tech
szl-holdingshttps://github.com/topics/szl-holdings
governed-inferencehttps://github.com/topics/governed-inference
doctrine-v11https://github.com/topics/doctrine-v11
szl-holdingshttps://github.com/szl-holdings
lutar-leanhttps://github.com/szl-holdings/lutar-lean
Star 0 https://github.com/login?return_to=%2Fszl-holdings%2Flutar-lean
Code https://github.com/szl-holdings/lutar-lean
Issues https://github.com/szl-holdings/lutar-lean/issues
Pull requests https://github.com/szl-holdings/lutar-lean/pulls
Discussions https://github.com/szl-holdings/lutar-lean/discussions
compliancehttps://github.com/topics/compliance
formal-verificationhttps://github.com/topics/formal-verification
governancehttps://github.com/topics/governance
mathlibhttps://github.com/topics/mathlib
ouroboroshttps://github.com/topics/ouroboros
apache-licensehttps://github.com/topics/apache-license
lean4https://github.com/topics/lean4
dssehttps://github.com/topics/dsse
ai-governancehttps://github.com/topics/ai-governance
agentic-aihttps://github.com/topics/agentic-ai
defense-techhttps://github.com/topics/defense-tech
machine-checked-proofshttps://github.com/topics/machine-checked-proofs
szl-holdingshttps://github.com/topics/szl-holdings
lutar-invarianthttps://github.com/topics/lutar-invariant
audit-fiberhttps://github.com/topics/audit-fiber
lambda-gatehttps://github.com/topics/lambda-gate
doctrine-v11https://github.com/topics/doctrine-v11
lambda-conjecture-1https://github.com/topics/lambda-conjecture-1
slsa-l1https://github.com/topics/slsa-l1
0xDaniielhttps://github.com/0xDaniiel
sentinelhttps://github.com/0xDaniiel/sentinel
Star 0 https://github.com/login?return_to=%2F0xDaniiel%2Fsentinel
Code https://github.com/0xDaniiel/sentinel
Issues https://github.com/0xDaniiel/sentinel/issues
Pull requests https://github.com/0xDaniiel/sentinel/pulls
geofencehttps://github.com/topics/geofence
geospatial-visualizationhttps://github.com/topics/geospatial-visualization
defense-techhttps://github.com/topics/defense-tech
risk-alerthttps://github.com/topics/risk-alert
cognis-digitalhttps://github.com/cognis-digital
ewcorrhttps://github.com/cognis-digital/ewcorr
Star 0 https://github.com/login?return_to=%2Fcognis-digital%2Fewcorr
Code https://github.com/cognis-digital/ewcorr
Issues https://github.com/cognis-digital/ewcorr/issues
Pull requests https://github.com/cognis-digital/ewcorr/pulls
Discussions https://github.com/cognis-digital/ewcorr/discussions
pythonhttps://github.com/topics/python
clihttps://github.com/topics/cli
securityhttps://github.com/topics/security
automationhttps://github.com/topics/automation
self-hostedhttps://github.com/topics/self-hosted
compliancehttps://github.com/topics/compliance
grchttps://github.com/topics/grc
defensehttps://github.com/topics/defense
govtechhttps://github.com/topics/govtech
security-toolshttps://github.com/topics/security-tools
mcp-serverhttps://github.com/topics/mcp-server
defense-techhttps://github.com/topics/defense-tech
cognishttps://github.com/topics/cognis
cognis-digitalhttps://github.com/topics/cognis-digital
cognis-neural-suitehttps://github.com/topics/cognis-neural-suite
ewcorrhttps://github.com/topics/ewcorr
szl-holdingshttps://github.com/szl-holdings
khipu-consensushttps://github.com/szl-holdings/khipu-consensus
Star 0 https://github.com/login?return_to=%2Fszl-holdings%2Fkhipu-consensus
Code https://github.com/szl-holdings/khipu-consensus
Issues https://github.com/szl-holdings/khipu-consensus/issues
Pull requests https://github.com/szl-holdings/khipu-consensus/pulls
aihttps://github.com/topics/ai
consensushttps://github.com/topics/consensus
bfthttps://github.com/topics/bft
ecdsahttps://github.com/topics/ecdsa
compliancehttps://github.com/topics/compliance
formal-verificationhttps://github.com/topics/formal-verification
governancehttps://github.com/topics/governance
multi-signaturehttps://github.com/topics/multi-signature
cosignhttps://github.com/topics/cosign
sigstorehttps://github.com/topics/sigstore
dssehttps://github.com/topics/dsse
agentic-aihttps://github.com/topics/agentic-ai
defense-techhttps://github.com/topics/defense-tech
szl-holdingshttps://github.com/topics/szl-holdings
doctrine-v11https://github.com/topics/doctrine-v11
slsa-l1https://github.com/topics/slsa-l1
Curate this topic https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-defense-tech
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.