A novel data compression framework

Opinionated typing package for precise type hints in Python

A fast type checker and language server for Python

A Model Context Protocol (MCP) Gateway & Registry. Serves as a central management point for tools, resources, and prompts that can be accessed by MCP-compatible LLM applications. Converts REST API …

🚀✨ Help beginners to contribute to open source projects

Support for the Pyrefly Python LSP in Zed

A fast and efficient type assistant for Python, including tensor shape inference

Automatically add simple type annotations to your code

GitHub Action for pyright

Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Collection of library stubs for Python, with static types

Build system, successor to Buck

VS Code extension for µfmt

It's like Copilot but for suggesting where and how to make code changes.

V2 of Real World OCaml

Performant type-checking for python.

Shared Memory Objects for Node

Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but for WebSockets.

Neural networks module for Redis

🚀 A robust, performance-focused, and full-featured Redis client for Node.js.

Super S3 command line tool

A simple clustering evaluation of KMeans for WEKA

Full git and GitHub integration with Sublime Text

📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings

A tool that predicts the dialect of English of an SMS message using recurrent neural networks supplemented with data from Google Trends.

Parse Redis dump.rdb files, Analyze Memory, and Export Data to JSON

CLI for bluetooth on OSX: power, discoverable state, list, inquire devices, connect, info, …

Specification for interoperability of common algebraic structures in JavaScript

🦋 Fantasy Land compliant (monadic) alternative to Promises