What's hot on Hacker News on 2019-09-10

moonad/Formality
An efficient dependently-typed systems programming language and proof assistant.
rsn491/koopera
Code review app for adding comments on jupyter notebook cells
instagrambot/instabot
🐙 Free Instagram scripts, bots and Python API wrapper. Get free instagram followers with our auto like, auto follow and other scripts!
bnb/awesome-developer-streams
👩🏿‍💻👨🏾‍💻👩🏼‍💻👨🏽‍💻👩🏻‍💻 Awesome Developers, Streaming
HR/github-clone
git clone repo subdirectories :octocat: ⬇️
pubkey/broadcast-channel
:satellite: BroadcastChannel to share data between different browser-tabs or nodejs-processes :satellite:
elmoiv/goco
Connecting to Google apis has never been easier!
MaKiPL/OpenVIII
Open source VIII engine implementation in C# working on Windows and Linux (Android and iOS planned too!)
tokio-rs/mio
Metal IO library for Rust
google/eng-practices
Google's Engineering Practices documentation
arogozhnikov/python3_with_pleasure
A short guide on features of Python 3 with examples (updated for python 3.7)
mvdom/mvdom
DOM Native MVC library (zero dependency, < 13kb min, <5kb gzip)
bitfield/script
Making it easy to write shell-like scripts in Go
timdp/swirly
A marble diagram generator.
camsaul/methodical
Clojure multimethods just got a whole lot more powerful.
google/eng-practices
Google's Engineering Practices documentation
chauhankiran/engine
Learn Angular 8 from Here!
google/clasp
🔗 Command Line Apps Script Projects
Dhul-Husni/toRead
To read or not to read 💭
iridakos/goto
Alias and navigate to directories with autocomplete
arviteri/Footing
A foundation for developing APIs with Node.js and Express.
billsix/methodfinder
Python tool to help you find a method that you know likely already exists, but that you can't name.
victorqribeiro/splitDjangoModels
Split Django generated models into separated files, with proper names, classes and imports
tasks/tasks
Bringing Astrid Tasks back from the dead
cloud66-oss/noticent
Ruby gem for user notification management.
s3nh/text-detector
Tool which allow you to detect and translate text.
jamespwilliams/MaxLengthWarner
:exclamation: Chrome extension which warns the user if they are entering input past the maximum length of an input tag