Minimalist ML framework for Rust

The agent engineering platform.

Private chat with local GPT with document, images, video, etc. 100% private, Apache 2.0. Supports oLLaMa, Mixtral, llama.cpp, and more. Demo: https://gpt.h2o.ai/ https://gpt-docs.h2o.ai/

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Inference code for Llama models

The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation with support for Snarkjs, Circom, and PLONKish backends.

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Learn Macros In Rust

❄️ ChatGPT Desktop Application (Mac, Windows and Linux)

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

A cross-platform GUI library for Rust, inspired by Elm

A post-modern modal text editor.

An idiomatic, lean, fast & safe pure Rust implementation of Git

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Overview of Blockspace its demand, pricing, and trading

Statistics-driven benchmarking library for Rust

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Moved to https://github.com/ComposableFi/cosmwasm-vm

Secure and fast microVMs for serverless computing.

OCaml DSL for verifiable computation

Disk Usage/Free Utility - a better 'df' alternative

🌸 A command-line fuzzy finder

Simple zero-knowledge Sudoku with SnarkyJS