Skip to content
View MikaelMayer's full-sized avatar
33 followers · 6 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex4Achievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex4Achievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@dafny-lang

Block or report MikaelMayer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

6 stars written in JavaScript
Clear filter

pcottle / learnGitBranching

An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!

JavaScript 30,539 5,746 Updated Sep 26, 2024

ajaxorg / ace

Ace (Ajax.org Cloud9 Editor)

JavaScript 26,711 5,281 Updated Oct 14, 2024

FamilySearch / familysearch-javascript-sdk

See the FamilySearch API Javascript SDK documentation at

JavaScript 42 25 Updated Dec 16, 2018

iamdanfox / ghupdate

Update GitHub pages with wysiwyg and no git commands

JavaScript 5 1 Updated Nov 22, 2014

uchicago-vis-pl-lab / vis-pl-lab

JavaScript 5 1 Updated Sep 25, 2024

rchipka / esprima-eval

Fast static evaluation on ESTree-compatible ASTs

JavaScript 2 Updated Apr 19, 2023