Skip to content
View Farhad-Shabani's full-sized avatar

Organizations

@cosmos @informalsystems

Block or report Farhad-Shabani

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Minimalistic Pomodoro Timer Desktop App written in Tauri and SvelteKit

Svelte 16 1 Updated Dec 16, 2024

An interactive and powerful Git interface for Neovim, inspired by Magit

Lua 4,347 255 Updated Jan 21, 2025

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

Rust 89,540 2,729 Updated Feb 17, 2025

Blazing fast Neovim framework providing solid defaults and a beautiful UI, enhancing your neovim experience.

Lua 25,594 2,170 Updated Jan 13, 2025

🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

Lua 5,903 182 Updated Feb 12, 2025

A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.

TypeScript 81,071 5,301 Updated Feb 17, 2025

A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.

Rust 49,284 1,929 Updated Feb 18, 2025

A library that provides an embeddable, persistent key-value store for fast storage.

C++ 29,150 6,410 Updated Feb 14, 2025

rust wrapper for rocksdb

Rust 1,925 757 Updated Feb 10, 2025

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Rust 20,447 1,122 Updated Feb 7, 2025

Cloud-native search engine for observability. An open-source alternative to Datadog, Elasticsearch, Loki, and Tempo.

Rust 9,687 423 Updated Feb 17, 2025

A modern runtime for JavaScript and TypeScript.

Rust 101,766 5,489 Updated Feb 18, 2025

Experimental folding schemes library

Rust 224 69 Updated Feb 17, 2025

🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim

Lua 2,058 81 Updated Feb 16, 2025

✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources

1,095 86 Updated Aug 21, 2024

A curated list of resources about post-quantum cryptography

270 23 Updated Sep 24, 2024

dev tools, env vars, task runner

Rust 13,429 410 Updated Feb 18, 2025

Fast and simple benchmarking for Rust projects

Rust 1,037 30 Updated Feb 16, 2025

A curated list of multi party computation resources and links.

1,801 259 Updated Jan 14, 2025

🤖 Just a command runner

Rust 23,860 513 Updated Feb 7, 2025

Noir is a domain specific language for zero knowledge proofs

Rust 984 247 Updated Feb 18, 2025

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

Rust 1,076 158 Updated Feb 17, 2025

A modular stack for zkVMs, with a focus on productivity, security and performance.

Rust 439 101 Updated Feb 17, 2025

The Nexus zkVM: The zero-knowledge virtual machine

Rust 2,181 386 Updated Feb 12, 2025

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

Rust 444 60 Updated Feb 17, 2025

A Decentralized Operating System for ZK Applications

Rust 4,405 2,647 Updated Feb 18, 2025

A STARK-based VM focused on code reuse, performance, and modularity

Rust 313 53 Updated Dec 2, 2024

A toolkit for polynomial IOPs (PIOPs)

Rust 566 245 Updated Feb 14, 2025

Nova: High-speed recursive arguments from folding schemes

Rust 736 205 Updated Feb 7, 2025

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Rust 751 202 Updated Feb 17, 2025
Next
Showing results