Johannes Bader's repositories
node-in-browser
Attempt to bootstrap Node.js in the browser in order to run Node apps or npm libraries unmodified.
GradVerThesis
Master Thesis "Gradual Program Verification with Implicit Dynamic Frames"
sdsl-lite-js
JavaScript port of Simon Gog's Succinct Data Structure Library
autorest.incubator
Incubator project for new AutoRest extensions
autorest.java
Extension for AutoRest (https://github.com/Azure/autorest) that generates Java code
autorest.nodejs
Extension for AutoRest (https://github.com/Azure/autorest) that generates JavaScript code
autorest.testserver
Local server offering a variety of APIs that can be used to test code generated by AutoRest (https://github.com/Azure/autorest)
fractional-int
playground for fractional integration
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
hack-langspec
The official Hack Language specification.
node-printf
Write formatted data (complete implementation of printf and sprintf) in Node.js
source-map-visualization
Just a simple hacky visualisation of SourceMaps
stern-brocot-tree
A Clojure implementation of exact arithmetics for computable numbers on the Stern-Brocot tree.
translate-strings
offer translation for tagged templates in TypeScript
tree-calculus
Proofs in Coq for the book Reflective Programs in Tree Calculus
typescript-book
:books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source ๐น