New York City, USA

Johannes Bader

Elite
@olydis

Trying to make developer tools suck less and hacking on triage calculus. Interests: PL design, formal verification, automatic program repair, education.

johannes-bader.com/

node-in-browser. Attempt to bootstrap Node.js in the browser in order to run Node apps or npm libraries unmodified.

136

coq2latex. A command-line tool to generate Latex (inference rules) from inductive coq definitions.

30

OpenRCT2. An open source re-implementation of RollerCoaster Tycoon 2 🎢

14

vlg_matching. Code and benchmarks for paper "Practical Variable Length Gap Pattern Matching" (SEA 2016, http://link.springer.com/chapter/10.1007/978-3-319-38851-9_1). Based on https://github.com/simongog/sdsl-lite

5

node. Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

4

GradVerArtifacts. Proofs for properties of a gradually verified language based on a statically verified one.

3

GradVer. proofs and prototype for Master thesis - used Coq 8.5pl1

2

GradVerThesis. Master Thesis "Gradual Program Verification with Implicit Dynamic Frames"

2

autorest. Swagger (OpenAPI) Specification code generator featuring C# and Razor templates. Supports C#, Java, Node.js, TypeScript, Python and Ruby.

2

sdsl-lite-js. JavaScript port of Simon Gog's Succinct Data Structure Library

2

dotnet-2.0.0. Meta-package detecting and if necessary acquiring the dotnet runtime appropriate for given platform.

1

tree-calculus. Proofs in Coq for the book Reflective Programs in Tree Calculus

1

autorest-extension-base. Library for easily creating AutoRest extensions

1

dotnet-sdk-2.0.0. Dotnet sdk via npm

1

v86. x86 virtualization in JavaScript, running in your browser and NodeJS

1
15
Apply