Mikaël Mayer (MikaelMayer)

MikaelMayer

Geek Repo

Company:Amazon

Location:Austin, TX, USA

Twitter:@MikaelMayer

Github PK Tool:Github PK Tool


Organizations
dafny-lang

Mikaël Mayer's repositories

StringSolver

Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input

Language:HTMLLicense:GPL-2.0Stargazers:24Issues:3Issues:0

Editor

Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.

Language:JavaScriptLicense:MITStargazers:20Issues:4Issues:9

hyde-build-tool

The Hyde Build Tool is an experimental reversible build tool, that it, it can modify the input sources

Language:JavaScriptLicense:MITStargazers:3Issues:3Issues:0

edit-actions

A repository for edit actions

Language:JavaScriptStargazers:2Issues:2Issues:0

parser

Simple Parser + Nice Error Messages

Language:ElmLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

Sketch-n-Script

The official repository for issues about Reversible Formulas - Sketch-n-Script, the Google docs add-on

Language:JavaScriptStargazers:1Issues:3Issues:7

Ammonite

Scala Scripting

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

aws-cryptographic-material-providers-library

AWS Cryptographic Material Providers Library

Language:C#License:Apache-2.0Stargazers:0Issues:0Issues:0

aws-database-encryption-sdk-dynamodb

AWS Database Encryption SDK for DynamoDB in Java

License:Apache-2.0Stargazers:0Issues:0Issues:0

aws-encryption-sdk-dafny

AWS Encryption SDK for Dafny

Language:C#License:Apache-2.0Stargazers:0Issues:1Issues:0

axel22.github.com

My personal website

Language:CSSStargazers:0Issues:2Issues:0

blog

The Dafny blog

Language:RubyStargazers:0Issues:0Issues:0

conventional-pr-action

GitHub Action that validates the PR title and commits against a Conventional Commits preset.

Language:TypeScriptStargazers:0Issues:1Issues:0

css-in-readme-like-wat

Style your readme using CSS with this simple trick

Stargazers:0Issues:1Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0

error-message-catalog

A catalog of broken Elm programs / data to improve error messages

Language:ElmLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

esprima

ECMAScript parsing infrastructure for multipurpose analysis

Language:TypeScriptLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

excellentexport

Javascript export to Excel

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

ide-vscode

VSCode IDE Integration for Dafny

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0
Language:RubyLicense:MIT-0Stargazers:0Issues:0Issues:0

lossless-css-parser

A lossless, robust and fast CSS parser in JavaScript.

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0
Language:ElmStargazers:0Issues:2Issues:0

polytopia-languages

The battle of Polytopia user-made translations

Language:JavaScriptLicense:ISCStargazers:0Issues:1Issues:0

polytopiacalculator

Polytopia Battle Calculator

Language:HTMLStargazers:0Issues:2Issues:0

rfcs

Dafny request-for-feature discussions

License:MITStargazers:0Issues:1Issues:0

scala-js

Scala.js, the Scala to JavaScript compiler

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

sketch-n-sketch

Direct Manipulation Programming for HTML/SVG

Language:ElmLicense:MITStargazers:0Issues:2Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

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.

Language:PHPStargazers:0Issues:1Issues:0