d0cd's repositories
aleo-staking
A fork of the `aleo-staking` repository.
fantasy-football
All things FF...
snarkOS
A Decentralized Operating System for ZK Applications
rust
Empowering everyone to build reliable and efficient software.
expect-test
Minimalistic snapshot testing for Rust.
community
A place for everyone to collaborate and communicate: Agendas and meeting notes.
aleo-education
Aleo Education
vectre-evaluation
Evaluation source code for the Vectre++ tool.
vectre-angr-disasm
Disassembler producing program definitions for the Vectre++ toolchain.
vectre-prelim
Preliminary specifications and models from the Vectre++ verifier.
DigitalTraveler
A digital traveler for tracking orders in job shops.
codewithandrea_flutter_packages
A collection of packages created to increase code reuse across many of my Flutter projects.
vectre-riscv-analyzer
Python Model of the RISC-V ISA
dexter
a compiler for re-writing image processing functions in C++ to Halide
GamestonkTerminal
The next best thing after Bloomberg Terminal
MSS
Multiresource Serverless Scheduler
spinach
Rust lattice experiements
uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
timely-dataflow
A modular implementation of timely dataflow in Rust
anna
A low-latency, cloud-native KVS
bud
Prototype Bud runtime (Bloom Under Development)
StableMarriageSolver
A simple solver for the Stable-Marriage Problem, implementing the Gale-Shapely Algorithm.
aiutare
Automated Analysis, Regression, and Evaluation
EthereumCasino
Decentralized Casino deployed on the Ethereum Smart Contract Platform
riscv-docker-images
Curated set of DockerFiles for RISC-V projects
rocket-chip
Rocket Chip Generator
smack-ucl
SMACK Software Verifier and Verification Toolchain