- Seattle, WA
Block or Report
Block or report alex-chew
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedApr 3, 2024 -
libraries Public
Forked from dafny-lang/librariesLibraries useful for Dafny programs
-
aws-encryption-sdk-python Public
Forked from aws/aws-encryption-sdk-pythonAWS Encryption SDK
Python Apache License 2.0 UpdatedApr 10, 2023 -
aws-encryption-sdk-java Public
Forked from aws/aws-encryption-sdk-javaAWS Encryption SDK
Java Apache License 2.0 UpdatedMar 6, 2023 -
cubiomes Public
Forked from Cubitect/cubiomesC library that mimics the Minecraft biome generation.
C MIT License UpdatedJan 26, 2023 -
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedDec 16, 2022 -
aws-dynamodb-encryption-java Public
Forked from aws/aws-dynamodb-encryption-javaAmazon DynamoDB Encryption Client for Java
Java Apache License 2.0 UpdatedAug 16, 2022 -
amazon-corretto-crypto-provider Public
Forked from corretto/amazon-corretto-crypto-providerThe Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
Java Apache License 2.0 UpdatedMay 24, 2022 -
dafny.msbuild Public
Forked from dafny-lang/dafny.msbuildMSBuild tasks for use in projects containing Dafny source code
C# MIT License UpdatedMay 17, 2022 -
aws-encryption-sdk-c Public
Forked from aws/aws-encryption-sdk-cAWS Encryption SDK for C
C Apache License 2.0 UpdatedNov 23, 2021 -
Launcher Public
Forked from MultiMC/LauncherA custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once
C++ Other UpdatedNov 23, 2021 -
aws-sdk-js-crypto-helpers Public
Forked from aws/aws-sdk-js-crypto-helpersAWS Cryptographic helpers for Javascript and Node.js
TypeScript Apache License 2.0 UpdatedAug 23, 2021 -
-
-
aws-encryption-sdk-javascript Public
Forked from aws/aws-encryption-sdk-javascriptAWS Encryption SDK for Javascript and Node.js
TypeScript Apache License 2.0 UpdatedApr 14, 2021 -
aws-crt-java Public
Forked from awslabs/aws-crt-javaJava bindings for the AWS Common Runtime
Java Apache License 2.0 UpdatedMar 17, 2021 -
aws-encryption-sdk-cli Public
Forked from aws/aws-encryption-sdk-cliCLI wrapper around aws-encryption-sdk-python
Python Apache License 2.0 UpdatedJan 20, 2021 -
-
-
aws-encryption-sdk-specification Public
Forked from awslabs/aws-encryption-sdk-specificationAWS Encryption SDK Specification
Shell Other UpdatedSep 22, 2020 -
KtaneContent Public
Forked from Timwi/KtaneContentContains all the content hosted on https://ktane.timwi.de, including all manuals and their fonts and graphics files, the Logfile Analyzer, the Highlighter, the Profile Editor, the Mode Settings Edi…
HTML Other UpdatedSep 5, 2020 -
FaCT Public
Forked from PLSysSec/FaCTFlexible and Constant Time Programming Language
OCaml BSD 3-Clause "New" or "Revised" License UpdatedNov 14, 2019 -
aws-api-gateway-developer-portal Public
Forked from awslabs/aws-api-gateway-developer-portalA Serverless Developer Portal for easily publishing and cataloging APIs
-
-
-
conformal Public
Visualization of conformal mappings on the complex plane.
-
vim-pandoc Public
Forked from vim-pandoc/vim-pandocpandoc integration and utilities for vim
Vim Script UpdatedApr 28, 2017 -
-
landing Public
A Chrome extension that provides a minimal New Tab page