Stars
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A collaborative web application (virtual office) presented as a 16-bit RPG video game
Code and models used in "MUSS Multilingual Unsupervised Sentence Simplification by Mining Paraphrases".
Open source admin template based on Bootstrap 5 and React.js
Most comprehensive list 📋 of tech interview questions 📘 of companies scraped from Geeksforgeeks, CareerCup and Glassdoor.
Bootstrap components for Plotly Dash
A numpy-only implementation of a Convolutional Neural Network, from the ground up.
Public facing notes page
An opinionated list of awesome Python frameworks, libraries, software and resources.
Global media player hotkeys for chrome
Swagger UI is a collection of HTML, JavaScript, and CSS assets that dynamically generate beautiful documentation from a Swagger-compliant API.
Nmap - the Network Mapper. Github mirror of official SVN repository.
Send books and personal documents to Kindle through a Dropbox folder
This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core
A fork of "Minecraft in 500 lines of python" intended to someday be used as a real engine, instead of as a learning example.
▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository.
Mars is a cross-platform network component developed by WeChat.