-
Amazon
- Austin, TX, USA
- @MikaelMayer
-
aws-database-encryption-sdk-dynamodb Public
Forked from aws/aws-database-encryption-sdk-dynamodbAWS Database Encryption SDK for DynamoDB in Java
Java Apache License 2.0 UpdatedSep 13, 2024 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedAug 19, 2024 -
-
aws-cryptographic-material-providers-library Public
Forked from aws/aws-cryptographic-material-providers-libraryAWS Cryptographic Material Providers Library
C# Apache License 2.0 UpdatedMay 22, 2024 -
smithy-dafny Public
Forked from smithy-lang/smithy-dafnyJava Apache License 2.0 UpdatedMay 16, 2024 -
aws-encryption-sdk-dafny Public
Forked from aws/aws-encryption-sdk-dafnyAWS Encryption SDK for Dafny
C# Apache License 2.0 UpdatedMar 26, 2024 -
rfcs Public
Forked from dafny-lang/rfcsDafny request-for-feature discussions
MIT License UpdatedMar 8, 2024 -
-
Editor Public
Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
-
-
kani-verifier-blog Public
Forked from model-checking/kani-verifier-blogRuby MIT No Attribution UpdatedFeb 2, 2023 -
hyde-build-tool Public
The Hyde Build Tool is an experimental reversible build tool, that it, it can modify the input sources
-
ide-vscode Public
Forked from dafny-lang/ide-vscodeVSCode IDE Integration for Dafny
TypeScript MIT License UpdatedFeb 24, 2022 -
conventional-pr-action Public
Forked from beemojs/conventional-pr-actionGitHub Action that validates the PR title and commits against a Conventional Commits preset.
TypeScript UpdatedOct 18, 2021 -
Sketch-n-Script Public
The official repository for issues about Reversible Formulas - Sketch-n-Script, the Google docs add-on
-
css-in-readme-like-wat Public
Forked from sindresorhus/css-in-readme-like-watStyle your readme using CSS with this simple trick
UpdatedJul 15, 2021 -
wordpress-develop Public
Forked from WordPress/wordpress-developWordPress Develop, Git-ified. Synced from git:https://develop.git.wordpress.org/, including branches and tags! This repository is just a mirror of the WordPress subversion repository. Please include a li…
PHP UpdatedJul 6, 2021 -
sketch-n-sketch Public
Forked from ravichugh/sketch-n-sketchDirect Manipulation Programming for HTML/SVG
Elm MIT License UpdatedJun 24, 2021 -
excellentexport Public
Forked from jmaister/excellentexportJavascript export to Excel
JavaScript MIT License UpdatedSep 19, 2020 -
esprima Public
Forked from jquery/esprimaECMAScript parsing infrastructure for multipurpose analysis
TypeScript BSD 2-Clause "Simplified" License UpdatedMay 23, 2020 -
polytopia-languages Public
Forked from caderek/polytopia-languagesThe battle of Polytopia user-made translations
JavaScript ISC License UpdatedApr 20, 2020 -
polytopiacalculator Public
Forked from frothfrenzy/polytopiacalculatorPolytopia Battle Calculator
-
lossless-css-parser Public
A lossless, robust and fast CSS parser in JavaScript.
JavaScript MIT License UpdatedFeb 16, 2019 -
-
parser Public
Forked from elm-tools/parserSimple Parser + Nice Error Messages
-
-
error-message-catalog Public
Forked from elm/error-message-catalogA catalog of broken Elm programs / data to improve error messages
Elm BSD 3-Clause "New" or "Revised" License UpdatedJan 16, 2018 -
scala-js Public
Forked from scala-js/scala-jsScala.js, the Scala to JavaScript compiler
Scala BSD 3-Clause "New" or "Revised" License UpdatedOct 10, 2017 -
StringSolver Public
Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input
-
axel22.github.com Public
Forked from axel22/axel22.github.comMy personal website
CSS UpdatedJun 20, 2017