osdio
Follow
Stars
Prompt, run, edit, and deploy full-stack web applications
🤖 The free, Open Source alternative to OpenAI, Claude and others. Self-hosted and local-first. Drop-in replacement for OpenAI, running on consumer-grade hardware. No GPU required. Runs gguf, transf…
An AI-powered search engine with a generative UI
Rust implementation of the Ethereum Virtual Machine.
this is a wrapper library for the javascript runtime quickjs written in rust which works with typescript, modules, promises, async, await and much more
Statistics-driven benchmarking library for Rust
🐺 Simple STARK verifier on Tezos blockchain
Use local files or public GitHub repository as a source and ask questions through ChatGPT about it
A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain
Write low-level WebAssembly, from JavaScript
High level bindings to the quickjs javascript engine
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Endo is a distributed secure JavaScript sandbox, based on SES
TypeScript framework for zk-SNARKs and zkApps
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
DEPRECATED in favor of https://github.com/taikoxyz/raiko! Taiko's fork of the PSE's ZK-EVM
QuickJS是一个小型并且可嵌入的Javascript引擎，它支持ES2020规范，包括模块，异步生成器和代理器。
“连续八年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book
The mfer-safe https://twitter.com/outoflegend/status/1557038973658472450
articles, codes and tools all about zero-knowledge proofs
Boa is an embeddable and experimental Javascript engine written in Rust. Currently, it has support for some of the language.
A zero-knowledge virtual machine with only one instruction
HOPR is an open incentivized mixnet which enables privacy-preserving point-to-point data exchange. HOPR is similar to Tor but actually private, decentralized and economically sustainable.