Pinned Repositories
bandolier
Bandolier - bundler for ES2017 modules
DefinitelyTyped
The repository for high quality TypeScript type definitions.
diff
Javascript utility for calculating deep difference, capturing changes, and applying changes across objects; for nodejs and the browser.
instartlogic.github.io
Index page for Instart Logic's public facing github.
jakets
Jake with TypeScript
jxcore
Evented IO for SpiderMonkey & V8 JavaScript
magic-modules
Generate Google Cloud Platform support for Terraform, Ansible, InSpec
mcjs
MuscalietJS: An Extensible Portable Layered JavaScript Engine
polyfill-library
NodeJS module to create polyfill bundles tailored to individual user-agents.
verification
A SMT solver and abstract interpretation based verification tool for a simple imperative language.
hewholived's Repositories
hewholived/verification
A SMT solver and abstract interpretation based verification tool for a simple imperative language.
hewholived/bandolier
Bandolier - bundler for ES2017 modules
hewholived/DefinitelyTyped
The repository for high quality TypeScript type definitions.
hewholived/diff
Javascript utility for calculating deep difference, capturing changes, and applying changes across objects; for nodejs and the browser.
hewholived/instartlogic.github.io
Index page for Instart Logic's public facing github.
hewholived/jakets
Jake with TypeScript
hewholived/jxcore
Evented IO for SpiderMonkey & V8 JavaScript
hewholived/magic-modules
Generate Google Cloud Platform support for Terraform, Ansible, InSpec
hewholived/mcjs
MuscalietJS: An Extensible Portable Layered JavaScript Engine
hewholived/polyfill-library
NodeJS module to create polyfill bundles tailored to individual user-agents.
hewholived/pysleuth
Program analysis framework for a toy language - Lingo
hewholived/quickjs
Unpacked tarball of Fabrice Bellard's QuickJS Javascript engine
hewholived/react-gpt
A React display ad component using Google Publisher Tag
hewholived/shift-java
Shift format ECMAScript AST tooling
hewholived/terraform-provider-google
Terraform Google Cloud Platform provider