CARVIEW |
Select Language
HTTP/2 200
date: Wed, 30 Jul 2025 05:35:39 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"f5a9aea7455d9585cefece1e77578f74"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: origin-when-cross-origin, strict-origin-when-cross-origin
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=gW5gR5IYVWli7BYfpYgDLUvSmXDb19%2BJgDR9i%2Fc2VQ8n5q%2BUzL4Yan9HFc5vEHylOxmAkeOc9VOfK2ZSeNPbKHY%2Fs5PjzQXIx9q5PJBowHzOD9VlSMr2PjF3PHtUEJ3H3ETZMNqE6jrB236eMfB7%2FbBPVV%2FYSOJvAPYp9UW0rseywhLu3yys9cJ3Nr0zR03Jw5Gt2dqR9zyCXEaQbJOT10%2BUYuMFSBWFLIpf7IRMxht6VtYl9NaoCqDK08BS7Fsk6Boed4ecGR1jDm%2FLk4KTfQ%3D%3D--J%2Fp9rb7q0fe70Rb0--ZvUBUoXAyQ%2BNgyUPNX1XWA%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.963946599.1753853739; Path=/; Domain=github.com; Expires=Thu, 30 Jul 2026 05:35:39 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Thu, 30 Jul 2026 05:35:39 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: CD30:10FE2:361760:48FF35:6889AF2B
aggieben (Ben Collins) · GitHub
Skip to content
Navigation Menu
{{ message }}
🏠
Working from home
.NET Developer and stuff. Señor Engineer. Former Oloite, Stacker, and Microsoftie. Affinity for .NET, F#, Rust, Bitcoin. Texas A&M CS Grad 2002, 2005
-
G-Research
- Greenville, TX
- https://benjamincollins.com
Pinned Loading
-
true-myth/true-myth-csharp
true-myth/true-myth-csharp PublicA library for safer optional programming in C♯.
-
dotnet-script
dotnet-script PublicA tool for .NET CLI to run C# sources as a script in the context of a project.
C# 1
-
Argu
Argu PublicForked from fsprojects/Argu
A declarative CLI argument/XML configuration parser for F#
F#
-
fsprojects/Paket
fsprojects/Paket PublicA dependency manager for .NET with support for NuGet packages and Git repositories.
-
PowerShell Profile Scripts
PowerShell Profile Scripts 1# Overview
23These files are part of how I build a powershell profile.
45This is what it looks like at startup:
-
ConstrainedTypes
ConstrainedTypes PublicA set of type providers for F# that aims to implement an approximation of refinement types.
F# 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
You can’t perform that action at this time.