Giters
d0cd

d0cd

Geek Repo

73

followers

1

following

22

stars

Location:Berkeley, CA

Twitter:@0xd0c

Github PK Tool:Github PK Tool

d0cd's starred repositories

credits

Language:RustLicense:Apache-2.0Stargazers:7Issues:0Issues:0

google-research

Google Research

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:33506Issues:0Issues:0

cryptofuzz

Fuzzing cryptographic libraries. Magic bug printer go brrrr.

Language:C++License:GPL-3.0Stargazers:667Issues:0Issues:0

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Language:RustLicense:GPL-3.0Stargazers:4791Issues:0Issues:0

slingshot

A lightweight CLI for deploying programs and executing transactions on Aleo.

Language:RustLicense:GPL-3.0Stargazers:14Issues:0Issues:0

workshop

📜 A Starter Guide to Build ZK Applications 📜

Language:ShellStargazers:327Issues:0Issues:0

awesome-aleo

🏎️ A curated list of Aleo & Leo code and resources 🏎️

Stargazers:350Issues:0Issues:0

config

Apps/CLIs/configs I use on macOS/iOS. Fish, Karabiner, Cursor..

Language:ShellLicense:MITStargazers:20436Issues:0Issues:0

awesome-devenv

A curated list of awesome tools, resources and workflow tips making an awesome development environment.

Stargazers:2798Issues:0Issues:0

dev-setup

macOS development environment setup: Easy-to-understand instructions with automated setup scripts for developer tools like Vim, Sublime Text, Bash, iTerm, Python data analysis, Spark, Hadoop MapReduce, AWS, Heroku, JavaScript web development, Android development, common data stores, and dev-based OS X defaults.

Language:PythonLicense:NOASSERTIONStargazers:6087Issues:0Issues:0

spotify-backup

A Python script that exports all of your Spotify playlists.

Language:PythonLicense:MITStargazers:819Issues:0Issues:0

OpenBB

Investment Research for Everyone, Everywhere.

Language:PythonLicense:NOASSERTIONStargazers:26801Issues:0Issues:0

Debugger

Inserts print statements at input based line numbers throughout a program. Currently only supported for C. Plans to implement extended debugging functionality in the future

Language:CStargazers:1Issues:0Issues:0

aleo-setup

A Setup Ceremony for Universal SNARKs

Language:RustStargazers:72Issues:0Issues:0

snarkOS

A Decentralized Operating System for ZK Applications

Language:RustLicense:Apache-2.0Stargazers:4239Issues:0Issues:0

welcome

👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

License:GPL-3.0Stargazers:319Issues:0Issues:0

paso

A Chisel Integrated Specification and Verification Language.

Language:ScalaLicense:BSD-3-ClauseStargazers:9Issues:0Issues:0

ray

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Language:PythonLicense:Apache-2.0Stargazers:32245Issues:0Issues:0

riscv-docker-images

Curated set of DockerFiles for RISC-V projects

Language:DockerfileStargazers:7Issues:0Issues:0

wagyu

A Rust library for generating cryptocurrency wallets

Language:RustLicense:Apache-2.0Stargazers:607Issues:0Issues:0

sql-differential-privacy

Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.

Language:ScalaLicense:MITStargazers:393Issues:0Issues:0

EC-Bestiary

A bestiary of evolutionary, swarm and other metaphor-based algorithms

Language:TeXStargazers:589Issues:0Issues:0