Name: Ethan Leba
Type: User
Location: SF
Blog: leba.dev
Implementing some new checks for a popular python linting tool: pylint-dev/pylint#3644
Improving the type analysis for booleans on mypy, a tool for typechecking Python code: python/mypy#10389
Augmenting a miniKanren (logic programming DSL) implementation to halt after a threshold of time if a solution can't be found: nickdrozd/reazon#12
lispy
Short and sweet LISP editing
lukaszcz.github.io
mcc
MicroC example compiler for Stephen Edward's PLT class, but in Haskell
melpa
Recipes and build machinery for the biggest Emacs package repo
my-dotfiles
mypy
Optional static typing for Python 3 and 2 (PEP 484)
netviews-ops
office-hours
Webapp to streamline office hours at Northeastern.
online-cv
A minimal Jekyll Theme to host your resume (CV)
org-page
[INACTIVE] A static site generator based on Emacs and org mode.
pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
pylint
It's not just a linter that annoys you!
quippy
racket
The Racket repository
reazon
miniKanren for Emacs
restapidocs
Templates for documenting REST APIs
stop-and-wait-arq-proof
An ACL2 proof modelling the stop-and-wait protocol.
trace-scraper
A web-scraper for TRACE evaluations on myNEU.
transcriboid-backend
The back-end of Transcriboid, a musical training web application.
transcriboid-frontend
The front-end of Transcriboid, a musical training web application.
tree-edit
🌲 Structural editing in Emacs for any™ language!
tree-sitter-langs
Language bundle for Emacs's tree-sitter package
vimium
The hacker's browser.
website-in-progress
My personal website! (A work in progress)
yaelispy
Minor mode to integrate Lispy and Evil
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 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.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
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.
