Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
47,133 repositories indexed
1,801–1,824 of 4,780 · Most stars
Python Type Checker / Language Server
Math & CS awesome List, distinguished by proof and logic technique
A comparison between Go and Javascript
Open-Source Quantum Chemistry – an electronic structure package in C++ driven by Python
micro-interactions for react, built for the half-second after a click
A language and an embedded JIT compiler
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
A custom element that allows you to easily put a Dark Mode 🌒 toggle or switch on your site:
Import C++ files directly from Python!
Small strings compression library
Procyon is a suite of Java metaprogramming tools, including a rich reflection API, a LINQ-inspired expression tree API for runtime code generation, and a Java decompiler.
A Flutter UI components lib for TDesign.
Megadraft is a Rich Text editor built on top of Facebook's Draft.JS featuring a nice default base of components and extensibility
A repository of namespaced, composable shell (bash, sh and dash) function libraries. Takes aware the pain of shell scripting, making it robust and reusable. Includes secure curl usage, JSON, XML and Debian control file parsers, dependency documentation via attributes, and more. Batteries ARE included.
SirixDB is an an embeddable, bitemporal, append-only database system and event store, storing immutable lightweight snapshots. It keeps the full history of each resource. Every commit stores a space-efficient snapshot through structural sharing. It is log-structured and never overwrites data. SirixDB uses a novel page-level versioning approach.
Create components whose nested prop changes map to a global side effect
GraphFrames is a package for Apache Spark which provides DataFrame-based Graphs
Toolkit for generating complex GraphQL Schemas on Node.js
Realtime Dynamic localization translation delivery system for iOS and Mac OSX in Swift. Create and update texts from localization.com without needing to recompile or redeploy. Cocapod for iOS devices (iPad, iPhone, iPod Touch and Mac)
Zero Breach — local, read-only scanner that checks a computer for indicators of the AdFection / Candiru ad-delivered spyware campaign. No network, no admin, no dependencies.
🅿️ PandoraPlayer is a lightweight music player for iOS, based on AudioKit and completely written in Swift.
:anchor: A curated list of awesome git hooks
UITextfield subclass with autocomplete menu. For iOS.
Computational framework for reinforcement learning in traffic control