Official inference repo for FLUX.1 models

🪢 Open source LLM engineering platform: LLM Observability, metrics, evals, prompt management, playground, datasets. Integrates with LlamaIndex, Langchain, OpenAI SDK, LiteLLM, and more. 🍊YC W23

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.

The first real AI developer

mirror of https://cgit.freedesktop.org/poppler/poppler/ + .travis.yml file

📦✨ your favorite rust -> wasm workflow tool!

zk-Mafia push 1

DEX for Polkadot Asset Hub

A zero-knowledge protocol for anonymous interactions.

SDK for developing on-chain ZK proved application.

Code for SC6107

A GPT-4 AI Tutor Prompt for customizable personalized learning experiences.

Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.

zk-SNARK library.

Bellman zkSNARK library for community with Ethereum's BN256 support

zk-SNARK library

A STARK prover and verifier for arbitrary computations

A Virtual Machine for Zero-Knowledge Executions

A pure-Rust implementation of Bulletproofs using Ristretto.

A Coordination repo for all things Rust Cryptography oriented

Collection of cryptographic hash functions written in pure Rust

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Large Action Model framework to develop AI Web Agents

Harness LLMs with Multi-Agent Programming

🧙‍AutoDev: The AI-powered coding wizard（AI 驱动编程助手） with multilingual support 🌐, auto code generation 🏗️, and a helpful bug-slaying assistant 🐞! Customizable prompts 🎨 and a magic Auto Dev/Testing/D…

The Rust Programming Language

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

An online playground for zero knowledge circuits

Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'