Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
Repository Index
47,133 repositories indexed
49–72 of 172 · Most stars
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
➰ It's never been easier to try nodejs modules!
Calling Python functions from the Ruby language
- ruby
- pycall
- data-science
- python
Parse, Resolve, and Dereference JSON Schema $ref pointers in Node and browsers
- javascript
- nodejs
- json-schema
- json-reference
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libsodium)
- cryptography
- nacl
- libsodium
- ruby
Fibers, Channels and Actors for Clojure
- clojure
- fibers
- actors
- jvm
Generalized recursion schemes and traversals for Scala.
- recursion-schemes
- algebra
- traversal
- recursive-structures
Functional tools that couldn’t be simpler.
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.
Unmaintained! ⚠️ CSS Object Model implemented in pure JavaScript. Also, a CSS parser.
- css-parser
- cssom
- dom
- javascript
Clspv is a compiler for OpenCL C to Vulkan compute shaders
- spirv
- vulkan-compute-shaders
- opencl
- spir
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
:spider_web: A Python interface to CGAL's meshing tools
- mesh
- mesh-generation
- mathematics
- engineering
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c
Java utilities: DeepEquals, Converter, LRUCache, CompactMap/Set, CaseInsensitiveMap, UniqueIdGenerator, FastReader/Writer, and more. Zero dependencies, JDK 8+
Mini audio library
- golang
- audio
- alsa
- wasapi
Ruby bindings to the Stanford Core NLP tools (English, French, German).
Docile keeps your Ruby DSLs tame and well-behaved
- dsl
- ruby
- builder-pattern
- immutability
aiomisc - miscellaneous utils for asyncio
- asyncio
- miscellaneous
- server-client
- service