Pinned Repositories
allthe2048
Updated index of all the 2048 variants currently out there
Ammonite
Scala Scripting
edit-actions
A repository for edit actions
Editor
Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
hyde-build-tool
The Hyde Build Tool is an experimental reversible build tool, that it, it can modify the input sources
parser
Simple Parser + Nice Error Messages
reflex-tracer
Reflex Tracer in C++ / AutoIt3
Sketch-n-Script
The official repository for issues about Reversible Formulas - Sketch-n-Script, the Google docs add-on
StringSolver
Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input
Webstrates
Webstrates is a research prototype enabling collaborative editing of websites through DOM manipulations.
MikaelMayer's Repositories
MikaelMayer/StringSolver
Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input
MikaelMayer/Editor
Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
MikaelMayer/hyde-build-tool
The Hyde Build Tool is an experimental reversible build tool, that it, it can modify the input sources
MikaelMayer/edit-actions
A repository for edit actions
MikaelMayer/Sketch-n-Script
The official repository for issues about Reversible Formulas - Sketch-n-Script, the Google docs add-on
MikaelMayer/parser
Simple Parser + Nice Error Messages
MikaelMayer/Ammonite
Scala Scripting
MikaelMayer/aws-cryptographic-material-providers-library
AWS Cryptographic Material Providers Library
MikaelMayer/aws-database-encryption-sdk-dynamodb
AWS Database Encryption SDK for DynamoDB in Java
MikaelMayer/aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
MikaelMayer/axel22.github.com
My personal website
MikaelMayer/blog
The Dafny blog
MikaelMayer/conventional-pr-action
GitHub Action that validates the PR title and commits against a Conventional Commits preset.
MikaelMayer/css-in-readme-like-wat
Style your readme using CSS with this simple trick
MikaelMayer/dafny
Dafny is a verification-aware programming language
MikaelMayer/error-message-catalog
A catalog of broken Elm programs / data to improve error messages
MikaelMayer/esprima
ECMAScript parsing infrastructure for multipurpose analysis
MikaelMayer/excellentexport
Javascript export to Excel
MikaelMayer/ide-vscode
VSCode IDE Integration for Dafny
MikaelMayer/kani-verifier-blog
MikaelMayer/lossless-css-parser
A lossless, robust and fast CSS parser in JavaScript.
MikaelMayer/MikaelMayer.github.io
MikaelMayer/organization-charts-editor
MikaelMayer/polytopia-languages
The battle of Polytopia user-made translations
MikaelMayer/polytopiacalculator
Polytopia Battle Calculator
MikaelMayer/rfcs
Dafny request-for-feature discussions
MikaelMayer/scala-js
Scala.js, the Scala to JavaScript compiler
MikaelMayer/sketch-n-sketch
Direct Manipulation Programming for HTML/SVG
MikaelMayer/smithy-dafny
MikaelMayer/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.