Stars
Tool for data extraction and interacting with Lean programmatically.
An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!
🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autocompletion.
Online playground for OpenAPI tokenizers
a structural diff that understands syntax 🟥🟩
An incremental parsing system for programming tools
CoreNLP: A Java suite of core NLP tools for tokenization, sentence segmentation, NER, parsing, coreference, sentiment analysis, etc.