Search Results for "non-free"

...General enough to parse any programming language. Fast enough to parse on every keystroke in a text editor. Robust enough to provide useful results even in the presence of syntax errors. Dependency-free so that the runtime library (which is written in pure C) can be embedded in any application. All of Tree-sitter’s parsing functionality is exposed through C APIs. Applications written in higher-level languages can use Tree-sitter via binding libraries like node-tree-sitter or the tree-sitter rust crate, which have their own documentation. ...

Lightweight Telegram RSS notification bot. Lightweight Telegram RSS bot for message notifications. You can download the precompiled program directly from Releases (with the Chinese version), the Linux version is musl static link, no other dependencies are required. It should be noted that the RSS records that have been pushed will not be retained. If the converted database is used directly, the old RSS will be pushed repeatedly.

...Control your infrastructure by adding annotations to your code. Wiring up a service to a persistent database is as easy as adding one line of code. And we support multiple providers. A completely free and open-source project. Start deploying your apps with no strings attached. Deploy new versions as quickly as running an incremental build, all with zero downtime. Take your code to full-featured cloud infrastructure in under a minute. Don't take our word for it, see it for yourself. Build any web service with a fully managed database using Rocket and sqlx. ...

prek is a Rust-based reimagining of the popular pre-commit framework that runs git hooks to enforce code quality, style, and other repository checks, designed to be a faster, dependency-free, and drop-in alternative to the Python-centric original. By rewriting everything in Rust, prek delivers substantial performance gains and reduces disk usage while maintaining compatibility with existing .pre-commit-config.yaml setups, letting teams switch over without rewriting configurations. It’s optimized for modern workflows, supporting monorepos with workspace modes, parallel hook installation and execution, and native handling of common hook tasks without external runtimes. ...

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust. Forget about strongly typed objects, from request to response, everything has types. Actix provides a lot of features out of the box. HTTP/2, logging, etc. Easily create your own libraries that any Actix application can use. Getting started with Actix is easy. An Actix app comes with a URL routing system that lets you match on URLs and invoke individual handlers.

Axum is a modern, ergonomic web framework for Rust built on top of Tokio, Hyper, and Tower. It emphasizes modularity, minimal boilerplate, and seamless middleware composition via Tower services. It uses declarative extractors for routing, strong async/await support, and integrates well with the Tokio async ecosystem.

Rocket is a web framework for Rust that makes it simple to write fast, secure web applications without sacrificing flexibility, usability, or type safety. Handling forms is simple and easy. Simply derive FromForm for your structure and let Rocket know which parameter to use. Rocket parses and validates the form request, creates the structure, and calls your function. Bad form request? Rocket doesn’t call your function! What if you want to know if the form was bad? Simple! Change the type of...

...Zero-knowledge proofs (ZKPs) are a family of probabilistic protocols, first described by Goldwasser, Micali and Rackoff in 1985. One particular family of ZKPs is described as zero-knowledge Succinct Non-interactive ARguments of Knowledge, a.k.a. zkSNARKs. zkSNARKs are the most widely used zero-knowledge protocols, with the anonymous cryptocurrency Zcash and the smart-contract platform Ethereum among the notable early adopters. Ethereum runs computations on all nodes of the network, resulting in high costs, limits in complexity, and low privacy. zkSNARKs have been enabling to only verify computations on-chain for a fraction of the cost of running them, but are hard to grasp and work with.