René's URL Explorer Experiment

Title: up-do · GitHub

Open Graph Title: up-do

X Title: up-do

Description: up-do has 35 repositories available. Follow their code on GitHub.

Open Graph Description: up-do has 35 repositories available. Follow their code on GitHub.

X Description: up-do has 35 repositories available. Follow their code on GitHub.

Opengraph URL: https://github.com/up-do

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern	/:user_id(.:format)
route-controller	profiles
route-action	show
fetch-nonce	v2:b4e7ac0d-b018-831a-b6f9-610bc2cf720d
current-catalog-service-hash	4a1c50a83cf6cc4b55b6b9c53e553e3f847c876b87fb333f71f5d05db8f1a7db
request-id	E47C:E2574:14F019:1CE348:698108D4
html-safe-nonce	9301eecdceeda6e0ae6a074b6ee9cba895dbc7e321b81aaa1933d2db63d5708a
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFNDdDOkUyNTc0OjE0RjAxOToxQ0UzNDg6Njk4MTA4RDQiLCJ2aXNpdG9yX2lkIjoiMzc3MzY3OTEwMTM5NjI3NzMyIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac	6bd8af1c4c7cc9519f9458354baed519480b4d02d9b1a3a9c48bcc39e28cc7cc
hovercard-subject-tag	organization:140350202
github-keyboard-shortcuts	copilot
google-site-verification	Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-url	https://collector.github.com/github/collect
analytics-location	/
fb:app_id	1401488693436528
apple-itunes-app	app-id=1477376905, app-argument=https://github.com/up-do
twitter:image	https://avatars.githubusercontent.com/u/140350202?s=280&v=4
twitter:card	summary_large_image
og:image	https://avatars.githubusercontent.com/u/140350202?s=280&v=4
og:image:alt	up-do has 35 repositories available. Follow their code on GitHub.
og:site_name	GitHub
og:type	profile
profile:username	up-do
hostname	github.com
expected-hostname	github.com
None	39fe8101494cbb823c09b619b68c80cd4d05ab7279997038dbe06bb91608abe1
turbo-cache-control	no-preview
turbo-body-classes	logged-out env-production page-responsive
disable-turbo	false
browser-stats-url	https://api.github.com/_private/browser/stats
browser-errors-url	https://api.github.com/_private/browser/errors
release	d5b34a4e4898b066c629879feb4b184bc471d6a7
ui-target	full
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://patch-diff.githubusercontent.com/up-do#start-of-content
	https://patch-diff.githubusercontent.com/
Sign in	https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fup-do
up-do	https://patch-diff.githubusercontent.com/up-do
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub SparkBuild and deploy intelligent apps	https://github.com/features/spark
GitHub ModelsManage and compare prompts	https://github.com/features/models
MCP RegistryNewIntegrate external tools	https://github.com/mcp
ActionsAutomate any workflow	https://github.com/features/actions
CodespacesInstant dev environments	https://github.com/features/codespaces
IssuesPlan and track work	https://github.com/features/issues
Code ReviewManage code changes	https://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilities	https://github.com/security/advanced-security
Code securitySecure your code as you build	https://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they start	https://github.com/security/advanced-security/secret-protection
Why GitHub	https://github.com/why-github
Documentation	https://docs.github.com
Blog	https://github.blog
Changelog	https://github.blog/changelog
Marketplace	https://github.com/marketplace
View all features	https://github.com/features
Enterprises	https://github.com/enterprise
Small and medium teams	https://github.com/team
Startups	https://github.com/enterprise/startups
Nonprofits	https://github.com/solutions/industry/nonprofits
App Modernization	https://github.com/solutions/use-case/app-modernization
DevSecOps	https://github.com/solutions/use-case/devsecops
DevOps	https://github.com/solutions/use-case/devops
CI/CD	https://github.com/solutions/use-case/ci-cd
View all use cases	https://github.com/solutions/use-case
Healthcare	https://github.com/solutions/industry/healthcare
Financial services	https://github.com/solutions/industry/financial-services
Manufacturing	https://github.com/solutions/industry/manufacturing
Government	https://github.com/solutions/industry/government
View all industries	https://github.com/solutions/industry
View all solutions	https://github.com/solutions
AI	https://github.com/resources/articles?topic=ai
Software Development	https://github.com/resources/articles?topic=software-development
DevOps	https://github.com/resources/articles?topic=devops
Security	https://github.com/resources/articles?topic=security
View all topics	https://github.com/resources/articles
Customer stories	https://github.com/customer-stories
Events & webinars	https://github.com/resources/events
Ebooks & reports	https://github.com/resources/whitepapers
Business insights	https://github.com/solutions/executive-insights
GitHub Skills	https://skills.github.com
Documentation	https://docs.github.com
Customer support	https://support.github.com
Community forum	https://github.com/orgs/community/discussions
Trust center	https://github.com/trust-center
Partners	https://github.com/partners
GitHub SponsorsFund open source developers	https://github.com/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/accelerator
Archive Program	https://archiveprogram.github.com
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Enterprise platformAI-powered developer platform	https://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security features	https://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI features	https://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 support	https://github.com/premium-support
Pricing	https://github.com/pricing
Search syntax tips	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentation	https://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%2Fup-do
Sign up	https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Corg-login%3E&source=header
Reload	https://patch-diff.githubusercontent.com/up-do
Reload	https://patch-diff.githubusercontent.com/up-do
Reload	https://patch-diff.githubusercontent.com/up-do
Overview	https://patch-diff.githubusercontent.com/up-do
Repositories	https://patch-diff.githubusercontent.com/orgs/up-do/repositories
Projects	https://patch-diff.githubusercontent.com/orgs/up-do/projects
Packages	https://patch-diff.githubusercontent.com/orgs/up-do/packages
People	https://patch-diff.githubusercontent.com/orgs/up-do/people
Overview	https://patch-diff.githubusercontent.com/up-do
Repositories	https://patch-diff.githubusercontent.com/orgs/up-do/repositories
Projects	https://patch-diff.githubusercontent.com/orgs/up-do/projects
Packages	https://patch-diff.githubusercontent.com/orgs/up-do/packages
People	https://patch-diff.githubusercontent.com/orgs/up-do/people
README.md	https://patch-diff.githubusercontent.com/up-do/.github/tree/main/profile/README.md
	https://patch-diff.githubusercontent.com/up-do#updo-examples
readme	https://github.com/cabalism/updo#readme
announcement	https://blockscope.com/posts/2023-11-15-updo.html
	https://patch-diff.githubusercontent.com/up-do#conversions
Copilot-Language/copilot	https://github.com/up-do/copilot
a86c16	https://github.com/cabalism/updo/commit/a86c165687b2b5e8251265418a9c4181c6a651a0
MercuryTechnologies/hlint-plugin	https://github.com/up-do/hlint-plugin
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
⇢	https://patch-diff.githubusercontent.com/up-do/.github/blob/main/hlint-plugin.md
clash-lang/clash-compiler	https://github.com/up-do/clash-compiler
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
commercialhaskell/stack	https://github.com/up-do/stack
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
diku-dk/futhark	https://github.com/up-do/futhark
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
elm/compiler	https://github.com/up-do/elm-compiler
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
gelisam/klister	https://github.com/gelisam/klister
a86c16	https://github.com/up-do/klister/commit/118996d6ed534ba52fbf799333d48a490cdb46aa
google-research/dex-lang	https://github.com/up-do/dex-lang
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
haskell-infra/www.haskell.org	https://github.com/haskell-infra/www.haskell.org
a86c16	https://github.com/cabalism/updo/commit/a86c165687b2b5e8251265418a9c4181c6a651a0
haskell/cabal	https://github.com/up-do/cabal
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
jgm/pandoc	https://github.com/up-do/pandoc
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
simonmichael/hledger	https://github.com/simonmichael/hledger
a86c16	https://github.com/cabalism/updo/commit/a86c165687b2b5e8251265418a9c4181c6a651a0
tahoe-lafs/tahoe-s3	https://gitlab.com/tahoe-lafs/tahoe-s3
a86c16	https://github.com/cabalism/updo/commit/a86c165687b2b5e8251265418a9c4181c6a651a0
ucsd-progsys/liquid-fixpoint	https://github.com/up-do/liquid-fixpoint
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
ucsd-progsys/liquidhaskell	https://github.com/up-do/liquidhaskell
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
unisonweb/unison	https://github.com/up-do/unison/
cdb06e	https://github.com/cabalism/updo/commit/cdb06ebebaf6b8739e900780bc317cec3cac2d24
yesodweb/persistent	https://github.com/up-do/persistent
60545b	https://github.com/cabalism/updo/commit/60545b108b7a6a2f802ec7a161aa4b9eb7441baf
yesodweb/yesod	https://github.com/up-do/yesod
d5de60	https://github.com/cabalism/updo/commit/d5de6070bed90c3c1a92d3a976998fcf847d77af
	https://patch-diff.githubusercontent.com/up-do#proposed
agda/agda	https://github.com/agda/agda
digitallyinduced/ihp	https://github.com/digitallyinduced/ihp
haskell-servant/servant	https://github.com/haskell-servant/servant
input-output-hk/plutus	https://github.com/input-output-hk/plutus
lamdu/lamdu	https://github.com/lamdu/lamdu
yi-editor/yi	https://github.com/yi-editor/yi
	https://patch-diff.githubusercontent.com/up-do#considered-but-rejected
ghc/ghc	https://github.com/ghc/ghc
1	https://patch-diff.githubusercontent.com/up-do#user-content-fn-1-9e9fca86024c74e919d905c8b7a34c40
github/semantic	https://github.com/github/semantic
2	https://patch-diff.githubusercontent.com/up-do#user-content-fn-2-9e9fca86024c74e919d905c8b7a34c40
idris-lang/Idris-dev	https://github.com/idris-lang/Idris-dev
3	https://patch-diff.githubusercontent.com/up-do#user-content-fn-3-9e9fca86024c74e919d905c8b7a34c40
↩	https://patch-diff.githubusercontent.com/up-do#user-content-fnref-1-9e9fca86024c74e919d905c8b7a34c40
github/semantic	https://patch-diff.githubusercontent.com/up-do
"in flux"	https://github.com/github/semantic/issues/698#issuecomment-1503955816
github/stack-graphs	https://github.com/github/stack-graphs
↩	https://patch-diff.githubusercontent.com/up-do#user-content-fnref-2-9e9fca86024c74e919d905c8b7a34c40
moved on from Haskell	https://github.com/idris-lang/Idris-dev/tree/master#status
Idris 2	https://github.com/idris-lang/Idris2
↩	https://patch-diff.githubusercontent.com/up-do#user-content-fnref-3-9e9fca86024c74e919d905c8b7a34c40
cabal	https://patch-diff.githubusercontent.com/up-do/cabal
haskell/cabal	https://patch-diff.githubusercontent.com/haskell/cabal
dex-lang	https://patch-diff.githubusercontent.com/up-do/dex-lang
google-research/dex-lang	https://patch-diff.githubusercontent.com/google-research/dex-lang
stack	https://patch-diff.githubusercontent.com/up-do/stack
commercialhaskell/stack	https://patch-diff.githubusercontent.com/commercialhaskell/stack
pandoc	https://patch-diff.githubusercontent.com/up-do/pandoc
jgm/pandoc	https://patch-diff.githubusercontent.com/jgm/pandoc
1	https://patch-diff.githubusercontent.com/up-do/pandoc/stargazers
clash-compiler	https://patch-diff.githubusercontent.com/up-do/clash-compiler
clash-lang/clash-compiler	https://patch-diff.githubusercontent.com/clash-lang/clash-compiler
liquidhaskell	https://patch-diff.githubusercontent.com/up-do/liquidhaskell
ucsd-progsys/liquidhaskell	https://patch-diff.githubusercontent.com/ucsd-progsys/liquidhaskell
lh-plugin-demo	https://patch-diff.githubusercontent.com/up-do/lh-plugin-demo
ucsd-progsys/lh-plugin-demo	https://patch-diff.githubusercontent.com/ucsd-progsys/lh-plugin-demo
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/lh-plugin-demo/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
16	https://patch-diff.githubusercontent.com/up-do/lh-plugin-demo/forks
0	https://patch-diff.githubusercontent.com/up-do/lh-plugin-demo/issues
0	https://patch-diff.githubusercontent.com/up-do/lh-plugin-demo/pulls
liquidhaskell-tutorial	https://patch-diff.githubusercontent.com/up-do/liquidhaskell-tutorial
ucsd-progsys/liquidhaskell-tutorial	https://patch-diff.githubusercontent.com/ucsd-progsys/liquidhaskell-tutorial
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/liquidhaskell-tutorial/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
29	https://patch-diff.githubusercontent.com/up-do/liquidhaskell-tutorial/forks
0	https://patch-diff.githubusercontent.com/up-do/liquidhaskell-tutorial/issues
0	https://patch-diff.githubusercontent.com/up-do/liquidhaskell-tutorial/pulls
MicroHs	https://patch-diff.githubusercontent.com/up-do/MicroHs
augustss/MicroHs	https://patch-diff.githubusercontent.com/augustss/MicroHs
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/MicroHs/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
65	https://patch-diff.githubusercontent.com/up-do/MicroHs/forks
0	https://patch-diff.githubusercontent.com/up-do/MicroHs/issues
0	https://patch-diff.githubusercontent.com/up-do/MicroHs/pulls
unison	https://patch-diff.githubusercontent.com/up-do/unison
unisonweb/unison	https://patch-diff.githubusercontent.com/unisonweb/unison
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/unison/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
303	https://patch-diff.githubusercontent.com/up-do/unison/forks
0	https://patch-diff.githubusercontent.com/up-do/unison/issues
0	https://patch-diff.githubusercontent.com/up-do/unison/pulls
haskell-language-server	https://patch-diff.githubusercontent.com/up-do/haskell-language-server
haskell/haskell-language-server	https://patch-diff.githubusercontent.com/haskell/haskell-language-server
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/haskell-language-server/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
436	https://patch-diff.githubusercontent.com/up-do/haskell-language-server/forks
0	https://patch-diff.githubusercontent.com/up-do/haskell-language-server/issues
0	https://patch-diff.githubusercontent.com/up-do/haskell-language-server/pulls
pakcs	https://patch-diff.githubusercontent.com/up-do/pakcs
cau-placc/pakcs	https://patch-diff.githubusercontent.com/cau-placc/pakcs
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/pakcs/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
1	https://patch-diff.githubusercontent.com/up-do/pakcs/forks
0	https://patch-diff.githubusercontent.com/up-do/pakcs/issues
0	https://patch-diff.githubusercontent.com/up-do/pakcs/pulls
gibbon	https://patch-diff.githubusercontent.com/up-do/gibbon
gibbon-compiler/gibbon	https://patch-diff.githubusercontent.com/gibbon-compiler/gibbon
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/gibbon/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
19	https://patch-diff.githubusercontent.com/up-do/gibbon/forks
0	https://patch-diff.githubusercontent.com/up-do/gibbon/issues
0	https://patch-diff.githubusercontent.com/up-do/gibbon/pulls
postgresql-playground	https://patch-diff.githubusercontent.com/up-do/postgresql-playground
danidiaz/postgresql-playground	https://patch-diff.githubusercontent.com/danidiaz/postgresql-playground
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/postgresql-playground/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
1	https://patch-diff.githubusercontent.com/up-do/postgresql-playground/forks
0	https://patch-diff.githubusercontent.com/up-do/postgresql-playground/issues
0	https://patch-diff.githubusercontent.com/up-do/postgresql-playground/pulls
copilot	https://patch-diff.githubusercontent.com/up-do/copilot
Copilot-Language/copilot	https://patch-diff.githubusercontent.com/Copilot-Language/copilot
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/copilot/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
75	https://patch-diff.githubusercontent.com/up-do/copilot/forks
0	https://patch-diff.githubusercontent.com/up-do/copilot/issues
0	https://patch-diff.githubusercontent.com/up-do/copilot/pulls
Kind	https://patch-diff.githubusercontent.com/up-do/Kind
HigherOrderCO/Kind	https://patch-diff.githubusercontent.com/HigherOrderCO/Kind
Uh oh! There was an error while loading. Please reload this page.	https://patch-diff.githubusercontent.com/up-do/Kind/graphs/commit-activity
Please reload this page	https://patch-diff.githubusercontent.com/up-do
149	https://patch-diff.githubusercontent.com/up-do/Kind/forks
0	https://patch-diff.githubusercontent.com/up-do/Kind/issues
0	https://patch-diff.githubusercontent.com/up-do/Kind/pulls
View all repositories	https://patch-diff.githubusercontent.com/orgs/up-do/repositories?type=all
People	https://patch-diff.githubusercontent.com/orgs/up-do/people
Please reload this page	https://patch-diff.githubusercontent.com/up-do
Please reload this page	https://patch-diff.githubusercontent.com/up-do
	https://github.com
Terms	https://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacy	https://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Security	https://github.com/security
Status	https://www.githubstatus.com/
Community	https://github.community/
Docs	https://docs.github.com/
Contact	https://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.