keyvank
- You want to ask, so ask. + Are you real? - Well, if you can't tell, does it matter?
@nobitex Tehran/Iran
keyvank's Stars
diku-dk/futhark
:boom::computer::boom: A data-parallel functional programming language
filecoin-project/rust-fil-nse-gpu
Rust interface to GPU implementation of Filecoin's Narrow Stacked Expander (NSE) sealing algorithm
filecoin-project/ec-gpu
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
hiddentao/squel
:office: SQL query string builder for Javascript
openworm/OpenWorm
Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues
telegram-rs/telegram-bot
Rust Library for creating a Telegram Bot
petgraph/petgraph
Graph data structure library for Rust.
alda-lang/alda
A music programming language for musicians. :notes:
owocki/pytrader
cryptocurrency trading robot
ivandavidov/minimal
Minimal Linux Live (MLL) is a tiny educational Linux distribution, which is designed to be built from scratch by using a collection of automated shell scripts. Minimal Linux Live offers a core environment with just the Linux kernel, GNU C library, and Busybox userland utilities.
0xPolygonZero/r1cs
A Rust library for building R1CS gadgets
lark-parser/lark
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
nvbn/thefuck
Magnificent app which corrects your previous console command.
finalitylabs/bellman
zk-SNARK library
hukumka/generic_static
jakeday/linux-surface
Linux Kernel for Surface Devices
filecoin-project/rust-fil-proofs
Proofs for Filecoin in Rust
filecoin-project/bellperson
zk-SNARK library
matter-labs/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
redox-os/redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
phil-opp/blog_os
Writing an OS in Rust
GuildOfWeavers/genSTARK
A library for generating zk-STARKs.
CovenantSQL/CovenantSQL
A decentralized, trusted, high performance, SQL database with blockchain features
filecoin-project/replication-game
Compete on the fastest replication algorithm
cogciprocate/ocl
OpenCL for Rust
3b1b/manim
Animation engine for explanatory math videos
matter-labs-archive/alpha_line
MPC implementation for a structured reference string (SRS) generation for SONIC proof system
zkcrypto/bellman
zk-SNARK library.
ethereum/py_pairing
Elliptic curve operations, including pairings
finalitylabs/vector-wallet
React wallet to interact with plasma-vector