Mikaël Mayer's repositories
StringSolver
Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input
hyde-build-tool
The Hyde Build Tool is an experimental reversible build tool, that it, it can modify the input sources
edit-actions
A repository for edit actions
Sketch-n-Script
The official repository for issues about Reversible Formulas - Sketch-n-Script, the Google docs add-on
aws-cryptographic-material-providers-library
AWS Cryptographic Material Providers Library
aws-database-encryption-sdk-dynamodb
AWS Database Encryption SDK for DynamoDB in Java
aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
axel22.github.com
My personal website
blog
The Dafny blog
conventional-pr-action
GitHub Action that validates the PR title and commits against a Conventional Commits preset.
css-in-readme-like-wat
Style your readme using CSS with this simple trick
error-message-catalog
A catalog of broken Elm programs / data to improve error messages
excellentexport
Javascript export to Excel
ide-vscode
VSCode IDE Integration for Dafny
lossless-css-parser
A lossless, robust and fast CSS parser in JavaScript.
polytopia-languages
The battle of Polytopia user-made translations
polytopiacalculator
Polytopia Battle Calculator
sketch-n-sketch
Direct Manipulation Programming for HTML/SVG
wordpress-develop
WordPress Develop, Git-ified. Synced from git://develop.git.wordpress.org/, including branches and tags! This repository is just a mirror of the WordPress subversion repository. Please include a link to a pre-existing ticket on https://core.trac.wordpress.org/ with every pull request.