huitseeker Goto Github PK

merlin

Composable proof transcripts for public-coin arguments of knowledge

mesos

A fork of the mesos aur package

miden-vm

STARK-based virtual machine

migration-manager

mirai

Rust mid-level IR Abstract Interpreter

move

Home of the Move programming language

move-1

mysten-infra

Common infrastructure used by multiple Mysten projects

narwhal

native_spark

A new arguably faster implementation of Apache Spark from scratch in Rust

nbe

Normalization by evaluation in Coq

nd4j

Scientific Computing for the JVM (NDArrays)

nd4j-git

nd4s

ND4S: N-Dimensional Arrays for Scala. Scientific Computing a la Numpy. Based on ND4J.

neptune

Rust Poseidon implementation.

nfusr

NFS client in userspace.

noir

Noir is a domain specific language for zero knowledge proofs

nomachine

nova

Nova: Recursive SNARKs without trusted setup

nova-scotia

Middleware to compile Circom circuits to Nova prover

nym

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

onnx

Open Neural Network Exchange

onnx-caffe2

Caffe2 implementation of Open Neural Network Exchange (ONNX)

opam-coq-action

opaque-ke

An implementation of the OPAQUE password-authenticated key exchange protocol

openethereum

The fast, light, and robust client for the Ethereum mainnet.

package

Metaparticle/Package: Language Fluent Containerization and Deployment in Java, .NET and Javascript (and more coming soon)

pasta-msm

pasta_curves

Rust implementation for zcash/pasta

polars

Fast multi-threaded, hybrid-streaming DataFrame library in Rust | Python | Node.js