Developer profile

Johannes Bader

@olydis

About Johannes Bader

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

New York City, USAWebsite Joined October 2014

Public repositories

Recently updated work from this developer

All on GitHub

olydis

tree-calculus

No description provided.

0 0Assembly

olydis

combinatory-types

Type inference for SK-combinators

0 0OCaml

olydis

tree-calculus-barry-fork

Proofs in Coq for the book Reflective Programs in Tree Calculus

1 0

olydis

node-in-browser

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

136 24TypeScript

olydis

swagger-scratch

No description provided.

0 1C#

olydis

Download-ODLivePhotos

Utility to download Live Photos from OneDrive, backed up by iOS OneDrive app

0 0