🙌 OpenHands: AI-Driven Development

BFV implementation in Python

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

Making client-side ZK proving on mobile simple.

Prove your self

Use AI to translate code from one language to another.

An open-source framework for training large multimodal models.

A new build tool to generate XCFramework

x86 PC emulator and x86-to-wasm JIT, running in the browser

Infinitely transfer between every device over pure HTTP with pipes or browsers

Web framework built on Web Standards

💩🚀 Windows 95 in Electron. Runs on macOS, Linux, and Windows.

A node.js redlock implementation for distributed, highly-available redis locks

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

衆議院の公式ウェブサイトから国会に提出された議案をデータベース化しました。商用・非商用を問わず、自由にデータのダウンロードや検索が可能です。

💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

⚙️ A dependency injection toolkit based on Go 1.18+ Generics.

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

[ICLR 22, TPAMI 24] LIA: Latent Image Animator

TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.

A tiny (118 bytes), secure, URL-friendly, unique string ID generator for JavaScript

Collection of TypeScript type challenges with online judge

For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

High performance, minimalist Go web framework