Huxpro/WasmCert

Stars
21
Rank 1,084,038 (Top 22 %)
Language Coq
License
MIT License
Created almost 5 years ago
Updated about 3 years ago

Huxpro/WasmCert

Huxpro

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A (in-development) Coq mechanization of WebAssembly specification.

huxpro.github.io

My Blog / Jekyll Themes / PWA

js-module-7day

Slides: JavaScript Modularization Journey

huxblog-boilerplate

Boilerplate of Hux Blog

forcify

Polyfill 3D/Force Touch in any device

css-sucks-2015

Slides: CSS Still Sucks 2015 & POCss

jquery.HSlider

Full-page scrolling, touch-friendly jQuery Slider

mmpwa

Minimal Multi-page PWA

sw-101-gdgdf

Slides: Service Worker 101 @ GDG DevFest 2016

yanshuo.io

Yanshuo.io issue and future websites

ingress-redeem

continuously passcode redeeming for game ingress

dotfiles

Well, dotfiles.

pwa-qcon2016

Slides: PWA make web great again - QCon2016

BusyWeek

Time-based Todo app

React-benchmark

Performance Comparison for React, Angular and Knockout

re-ng-wallpaper

React vs Angular - Wallpaper

githuber.re

🐫 Demo-ing the power of ReasonML

BusyDroid-PRD

Product Requirement Document of the android version BusyWeek

githuber.re-v2

🐫 🟥 ⚛️ Demo-ing the power of the Reason Platform

bubble-run

Tiny game built in 2hrs with P5.js

real-world-reason

"Real World OCaml" in Reason

huxpro

pwa-in-my-pov

Slides: Progressive Web App in my points of view.

aircraft

TOL

Tower of London