#
Lists (8)
Starred repositories
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
Functions and proofs about game trees in Rocq, implemented as rose trees.
real time face swap and one-click video deepfake with only a single image
Faster Whisper transcription with CTranslate2
Master programming by recreating your favorite technologies from scratch.
📦✨ your favorite rust -> wasm workflow tool!
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
Staging repo for development of native port of TypeScript
Collection of awesome LLM apps with AI Agents and RAG using OpenAI, Anthropic, Gemini and opensource models.
Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting yo…
TON Web IDE is your ultimate browser-based IDE designed to simplify the journey of writing, testing, compiling, deploying, and interacting with smart contracts on TON. Write smart contracts from an…
Every cryptographic primitive needed to work on Ethereum, for the browser and Node.js
A performant and modular zkVM framework built for customization and extensibility.
scroll-tech / revm
Forked from bluealloy/revmRust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Ready-to-use and customizable users management for FastAPI
Total Parser Combinators in Coq [maintainer=@womeier]
Fastest 4KB JS implementation of secp256k1 signatures and ECDH
zkSNARK implementation in JavaScript & WASM
The new nanopass framework; an embedded DSL for writing compilers in Scheme