-
Amazon
- Austin, TX, USA
- @MikaelMayer
Stars
A Repository for a paper: ``Evolution of metamemory based on self-reference to own memory in artificial neural network with neuromodulation''
Glisp is a Lisp-based design tool that combines generative approaches with traditional design methods, empowering artists to discover new forms of expression.
Fast static evaluation on ESTree-compatible ASTs
A simple zero-config tool to make locally trusted development certificates with any names you'd like.
Update GitHub pages with wysiwyg and no git commands
Visually explore package and module dependencies for an Elm project
Verification framework and tool for higher-order Scala programs
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…
An easy-to-use sbt plugin for working with all Android projects
Your favorite language gets closer to bare metal.
Direct Manipulation Programming for HTML/SVG
This project aim to developp support for music generation in Scala
See the FamilySearch API Javascript SDK documentation at
An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.