pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
47,133 repositories indexed
25–48 of 120 · Most stars
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
Haskell to JavaScript compiler, based on GHC
A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations
jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functionality around sequential Streams. The JDK 8's main efforts (default methods, lambdas, and the Stream API) were focused around maintaining backwards compatibility and implementing a functional API for parallelism.
tiny HTTP parser written in C (used in HTTP::Parser::XS et al.)
Header-only, event based, tiny and easy to use libuv wrapper in modern C++ - now available as also shared/static library!
Rust bindings for webview, a tiny cross-platform library to render web-based GUIs for desktop applications
Fluid is an open-source .NET template engine based on the Liquid template language.
Typescript focused FP library similar to Remeda and Ramda
🌐 Deno bindings for webview, a tiny library for creating web-based desktop GUIs
The ctypes-based simple ImageMagick binding for Python
The LLVM-based D Compiler.
CEF4Delphi is an open source project to embed Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows, Linux and MacOS.
Wasmer SDK: Run anything, anywhere suing WebAssembly-based sandboxes
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.
DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby Desktop Development GUI Library), Glimmer DSL for Tk (Ruby Tk Desktop Development GUI Library), Glimmer DSL for GTK (Ruby-GNOME Desktop Development GUI Library), Glimmer DSL for XML (& HTML), and Glimmer DSL for CSS
An axiom-free formalization of category theory in Coq for personal study and practical work
Skia4Delphi is a cross-platform 2D graphics API for Delphi platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
A Swift based Future/Promises Library for IOS and OS X.
Effects-based direct-style IO for multicore OCaml
The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
A Promise library for Swift, based partially on Javascript's A+ spec