Johannes Bader

icon indicating a website link https://johannes-bader.com/

icon location New York City, USA icon location I make developer tools suck less. Interests: PL design, formal verification, automatic program repair, Physics, education

Results 2 repositories owned by Johannes Bader

coq2latex

27
Stars
2
Forks
Watchers

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

verified publisher icon olydis

node-in-browser

130
Stars
22
Forks
Watchers

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

verified publisher icon olydis