aayux

aayux's Stars

• pymc-devs/pymc

  Bayesian Modeling and Probabilistic Programming in Python

  Language:Python8.7k2243.3k2k

• dalek-cryptography/bulletproofs

  A pure-Rust implementation of Bulletproofs using Ristretto.

  Language:Rust1k39143217

• arkworks-rs/algebra

  Libraries for finite field, elliptic curve, and polynomial arithmetic

  Language:Rust61523307241

• herumi/mcl

  a portable and fast pairing-based cryptography library

  Language:C++45819163157

• EasyCrypt/easycrypt

  EasyCrypt: Computer-Aided Cryptographic Proofs

  Language:OCaml3112124347

• diegodlh/zotero-cita

  Cita: a Wikidata addon for Zotero with citations metadata support

  Language:JavaScript2291118812

• neural-nuts/image-caption-generator

  [DEPRECATED] A Neural Network based generative model for captioning images using Tensorflow

  Language:Jupyter Notebook148123757

• neural-nuts/Cam2Caption

  [DEPRECATED] An Android application which converts camera feed to captions in real time

  Language:Java537518

• alleystoughton/EasyTeach

  Examples for EasyCrypt Lectures

  Language:eC22304