d0cd

d0cd

Geek Repo

Location:Berkeley, CA

Twitter:@0xd0c

Github PK Tool:Github PK Tool

d0cd's repositories

slingshot

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

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

kvsbench

Benchmark Tool for Embedded Key-Value Stores available in Rust

Language:RustLicense:MITStargazers:2Issues:0Issues:0

aleo-education

Aleo Education

Stargazers:1Issues:0Issues:0

crisper

A place to store your lettuces.

Language:PythonStargazers:1Issues:0Issues:0

aiutare

Automated Analysis, Regression, and Evaluation

Stargazers:0Issues:0Issues:0

anna

A low-latency, cloud-native KVS

License:Apache-2.0Stargazers:0Issues:0Issues:0

bud

Prototype Bud runtime (Bloom Under Development)

Language:RubyLicense:NOASSERTIONStargazers:0Issues:1Issues:0

codewithandrea_flutter_packages

A collection of packages created to increase code reuse across many of my Flutter projects.

License:MITStargazers:0Issues:0Issues:0

community

A place for everyone to collaborate and communicate: Agendas and meeting notes.

Stargazers:0Issues:0Issues:0

dexter

a compiler for re-writing image processing functions in C++ to Halide

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

DigitalTraveler

A digital traveler for tracking orders in job shops.

Language:DartLicense:MITStargazers:0Issues:0Issues:0

EthereumCasino

Decentralized Casino deployed on the Ethereum Smart Contract Platform

Language:JavaScriptStargazers:0Issues:5Issues:0

expect-test

Minimalistic snapshot testing for Rust.

License:Apache-2.0Stargazers:0Issues:0Issues:0

fantasy-football

All things FF...

Language:RustStargazers:0Issues:0Issues:0

GamestonkTerminal

The next best thing after Bloomberg Terminal

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

MSS

Multiresource Serverless Scheduler

Language:PythonStargazers:0Issues:1Issues:0

riscv-docker-images

Curated set of DockerFiles for RISC-V projects

Language:DockerfileStargazers:0Issues:0Issues:0

riscv-pk

Security monitor for Keystone Enclave (mirror of riscv-pk)

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rocket-chip

Rocket Chip Generator

License:NOASSERTIONStargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

License:NOASSERTIONStargazers:0Issues:0Issues:0

smack-ucl

SMACK Software Verifier and Verification Toolchain

License:NOASSERTIONStargazers:0Issues:0Issues:0

snarkOS

A Decentralized Operating System for ZK Applications

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

spinach

Rust lattice experiements

Stargazers:0Issues:0Issues:0

StableMarriageSolver

A simple solver for the Stable-Marriage Problem, implementing the Gale-Shapely Algorithm.

Language:JavaStargazers:0Issues:0Issues:0

timely-dataflow

A modular implementation of timely dataflow in Rust

License:MITStargazers:0Issues:0Issues:0

uclid

UCLID5: formal modeling, verification, and synthesis of computational systems

License:NOASSERTIONStargazers:0Issues:0Issues:0

vectre-angr-disasm

Disassembler producing program definitions for the Vectre++ toolchain.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

vectre-evaluation

Evaluation source code for the Vectre++ tool.

Language:RubyLicense:MITStargazers:0Issues:0Issues:0

vectre-prelim

Preliminary specifications and models from the Vectre++ verifier.

Stargazers:0Issues:1Issues:0

vectre-riscv-analyzer

Python Model of the RISC-V ISA

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