Huxpro/WasmCert Huxpro/WasmCert

  • Stars
    star
    21
  • Rank 1,063,224 (Top 22 %)
  • Language Coq
  • License
    MIT License
  • Created over 4 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Huxpro/WasmCert
github

Huxpro

Reviews

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

Repository Details

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

More Repositories

1

huxpro.github.io

My Blog / Jekyll Themes / PWA
HTML
6,881
star
2

js-module-7day

Slides: JavaScript Modularization Journey
JavaScript
675
star
3

huxblog-boilerplate

Boilerplate of Hux Blog
HTML
377
star
4

forcify

Polyfill 3D/Force Touch in any device
JavaScript
88
star
5

css-sucks-2015

Slides: CSS Still Sucks 2015 & POCss
JavaScript
76
star
6

jquery.HSlider

Full-page scrolling, touch-friendly jQuery Slider
JavaScript
60
star
7

mmpwa

Minimal Multi-page PWA
JavaScript
58
star
8

sw-101-gdgdf

Slides: Service Worker 101 @ GDG DevFest 2016
HTML
47
star
9

yanshuo.io

Yanshuo.io issue and future websites
36
star
10

ingress-redeem

continuously passcode redeeming for game ingress
JavaScript
22
star
11

dotfiles

Well, dotfiles.
Ruby
16
star
12

pwa-qcon2016

Slides: PWA make web great again - QCon2016
HTML
16
star
13

BusyWeek

Time-based Todo app
JavaScript
12
star
14

re-ng-wallpaper

React vs Angular - Wallpaper
7
star
15

React-benchmark

Performance Comparison for React, Angular and Knockout
HTML
7
star
16

githuber.re

🐫 Demo-ing the power of ReasonML
CSS
4
star
17

BusyDroid-PRD

Product Requirement Document of the android version BusyWeek
3
star
18

githuber.re-v2

🐫 🟥 ⚛️ Demo-ing the power of the Reason Platform
CSS
3
star
19

bubble-run

Tiny game built in 2hrs with P5.js
JavaScript
3
star
20

real-world-reason

"Real World OCaml" in Reason
3
star
21

huxpro

2
star
22

pwa-in-my-pov

Slides: Progressive Web App in my points of view.
HTML
2
star
23

aircraft

aircraft game
JavaScript
1
star
24

TOL

Tower of London
JavaScript
1
star