Search Results for "system linux"

A cross-platform implementation of the Language Server Protocol providing rich cross-editing support for the LaTeX typesetting system. The server may be used with any editor that implements the Language Server Protocol.

A super-fast CLI tool to decode and encode JWTs built in Rust. jwt-cli is a command line tool to help you work with JSON Web Tokens (JWTs). Like most JWT command line tools out there, you can decode almost any JWT header and claims body. Unlike any that I've found, however, jwt-cli allows you to encode a new JWT with nearly any piece of data you can think of. Custom header values (some), custom claim bodies (as long as it's JSON, it's game), and using any secret you need.

jaq (pronounced like Jacques) is a clone of the JSON data processing tool jq. jaq aims to support a large subset of jq's syntax and operations. Jaq aims to provide a more correct and predictable implementation of jq, while preserving compatibility with jq in most cases.

The fundamental building block of warp is the Filter, they can be combined and composed to express rich requirements on requests. A Filter in warp is essentially a function that can operate on some input, either something from a request, or something from a previous Filter, and returns some output, which could be some app-specific type you wish to pass around, or can be some reply to send back as an HTTP response. That might sound simple, but the exciting part is the combinators that exist...

ftd is a programming language for building user interfaces and content-centric websites. ftd is easy to learn, especially for nonprogrammers, but it does not compromise on what you can build with it. fastn is a web framework, a content management system, and an integrated development environment for ftd. fastn is a web server, that compiles ftd to HTML/CSS/JS and can be deployed on your server, or on fastn cloud by FifthTry. ftd is designed with minimal and uniform syntax, and at first...