Light

joshuaharry Goto Github PK

followers: 8.0 following: 1.0 repos: 16.0 gists: 2.0

Type: User

Company: Northwestern University

Bio: Hello, world! I like coffee, Racket, and TypeScript.

Location: Evanston Illinois

Hi there! My name is Josh.

I'm a software engineer with experience working with programming languages, web development, and AI. I currently work closely with Adobe's Document Intelligence Lab on building the next generation of AI-powered document readers.

Here are a few open source projects of which I am especially proud:

In collaboration with Adobe research, I used React, TypeScript, and Ruby on Rails to build Atlas, a tool that lets NLP researchers generate data annotation surveys by uploading JSON files and PDF documents.
I fixed over 100 bugs in DefinitelyTyped after I created automatic bug-detection tools that helped me find mismatches between TypeScript type declarations and JavaScript code. Those tools are open-source, and you can view them here.
I've implemented a simplified clone of React used to help explain the rules of hooks to Professors at Northwestern University who are interested in the semantics of the framework.
I've written a library for managing dotfiles with Emacs and a library for automatically formatting code with Emacs.

If any of my work sounds interesting to you, please don't hesitate to reach out. Have a wonderful day.

joshuaharry's Projects

coc-svelte

svelte support for (Neo)Vim

definitelytyped

The repository for high quality TypeScript type definitions.

dots

My dotfiles for Mac OS.

eco

A tool for understanding your software's ecosystem.

efmt

Emacs autoformatting in less than 100 lines of code.

featherweight-react

A learning project to better understand the semantics of React.

homer

Manage your dotfiles with git bare repositories and Emacs.

is-it-funny

Paper for computational linguistics.

joshuaharry

My profile.

jscontract

Code related to JavaScript types, contracts, and bugfinding.

linux-dotfiles

My dotfiles for linux.

live-server

A simple development http server with live reload capability.

macos-dotfiles

My dotfiles for Mac OS.

newdots

Latest iteration of my dot files.

porter

Kubernetes powered PaaS that runs in your own cloud.

scotty

A tool for compiling types into contracts.

1

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.