-
Kong Inc.
- San Francisco, CA
- https://idndx.com
Stars
Learn how to use CUA (our Computer Using Agent) via the API on multiple computer environments.
Notes on my RustConf 2025 talk: Cancelling async Rust
Rust virtual machine and JIT compiler for eBPF programs
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latencβ¦
A jq clone focussed on correctness, speed, and simplicity
A command-line tool for downloading and transferring Jeppesen databases, aiming to be compatible with Jeppesen Distribution Manager.
Tools for concurrent programming in Rust
Github action to retrieve all (added, copied, modified, deleted, renamed, type changed, unmerged, unknown) files and directories.
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications!
AIScript is a unique combination of interpreter programming language and web framework, both written in Rust, designed to help developers build AI applications effortlessly.
Cargo Lambda is a Cargo subcommand to help you work with AWS Lambda.
The Standard Webhooks specification
The miniature, embeddable R7RS Scheme implementation in Rust
Subcommand to show result of macro expansion
Fully typed LMDB wrappers with minimum overhead π¦
A reverse proxy like nginx, built on pingora, simple and efficient.
π§ Open source LLM observability platform. One line of code to monitor, evaluate, and experiment. YC W23 π
UUID version 7, which are time-sortable (following the Peabody RFC4122 draft)
1οΈβ£πποΈ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
LuaJIT FFI bindings for Snappy, a fast compressor/decompressor (https://code.google.com/p/snappy/)