- !!! https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
- !!! https://www.reaktor.com/blog/fear-trust-and-javascript/
- https://medium.com/unsplash/strongly-typed-finite-state-machines-with-redux-and-typescript-3aac2b0332f5
- https://fsharpforfunandprofit.com/posts/designing-with-types-representing-states/
- https://github.com/davidkpiano/xstate
- https://github.com/eonarheim/TypeState
- https://blogs.itemis.com/en/a-brief-overview-of-state-machine-types
- https://sketch.systems/
- https://www.hillelwayne.com/post/formally-specifying-uis/
- https://github.com/eonarheim/TypeState
If yes, chose a standalone application over the webpack plugin.
Examples:
- http://xmage.de/
- https://www.slightlymagic.net/wiki/List_of_MTG_Engines
- https://github.com/arrdem/OpenSourcerer
- https://github.com/stassa/Gleemin
- https://cockatrice.github.io/
- https://magarena.github.io/
- http://mtgbrowser.sourceforge.net/wiki/index.php/Main_Page
- https://github.com/MedeaMelana/Magic
- https://github.com/tensorflow/tfjs
- https://web.stanford.edu/~surag/posts/alphazero.html
- https://developers.google.com/web/fundamentals/codelabs/push-notifications/
- https://developer.apple.com/library/content/documentation/NetworkingInternet/Conceptual/NotificationProgrammingGuideForWebsites/Introduction/Introduction.html
- https://braintree.github.io/braintree-web/current/apple-pay_index.js.html
- https://braintree.github.io/braintree-web/current/module-braintree-web_google-payment.html
- https://github.com/GoogleChromeLabs/appr-wrapper
- https://web-payment-apis.appspot.com/payment-request.html
- https://medium.com/dev-channel/addressing-common-misconceptions-about-the-payment-request-api-4d0db51dae75
- http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from/
- http://tomasp.net/academic/papers/against-types/
- Against a universal definition of ‘type’
- The Triumph of Types: Principia Mathematica’s Impact on Computer Science
- Function and Concept
- https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html
- https://headlesscms.org/
- https://www.prismagraphql.com/docs/reference/
- https://github.com/graphile/postgraphile
- https://github.com/ponzu-cms/ponzu
- https://fragmenta.eu/install
- https://strapi.io/demo
- https://strapi.io/documentation/1.x.x/graphql.html
- https://www.sanity.io/docs/the-schema
- https://github.com/mauricioabreu/owl-cms
- https://github.com/ziprandom/kemal-graphql-example