Pinned Repositories
runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
aws-sam-cli
CLI tool to build, test, debug, and deploy Serverless applications using AWS SAM
aws-sdk-net
The official AWS SDK for .NET. For more information on the AWS SDK for .NET, see our web site:
credentials-fetcher
Credentials-fetcher is a Linux daemon that retrieves gMSA credentials from Active Directory over LDAP. It creates and refreshes kerberos tickets from gMSA credentials. Kerberos tickets can be used by containers to run apps/services that authenticate using Active Directory.
grade-school-math
runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
serverless-dotnet-demo
test_book
A test repo
TestProjects
z3
The Z3 Theorem Prover
smhmhmd's Repositories
smhmhmd/aws-sam-cli
CLI tool to build, test, debug, and deploy Serverless applications using AWS SAM
smhmhmd/aws-sdk-net
The official AWS SDK for .NET. For more information on the AWS SDK for .NET, see our web site:
smhmhmd/credentials-fetcher
Credentials-fetcher is a Linux daemon that retrieves gMSA credentials from Active Directory over LDAP. It creates and refreshes kerberos tickets from gMSA credentials. Kerberos tickets can be used by containers to run apps/services that authenticate using Active Directory.
smhmhmd/grade-school-math
smhmhmd/runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
smhmhmd/serverless-dotnet-demo
smhmhmd/test_book
A test repo
smhmhmd/TestProjects
smhmhmd/z3
The Z3 Theorem Prover
smhmhmd/cisint
.NET CIL symbolic interpreter