Beast code in Giters

d0cd's repositories

slingshot

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

Language:RustGPL-3.014 1 5

kvsbench

Benchmark Tool for Embedded Key-Value Stores available in Rust

Language:RustMIT2 10

aleo-education

Aleo Education

100

crisper

A place to store your lettuces.

Language:Python1 30

aiutare

Automated Analysis, Regression, and Evaluation

Language:Python010

aleo-staking

A fork of the `aleo-staking` repository.

Language:TypeScript000

anna

A low-latency, cloud-native KVS

Language:C++Apache-2.0010

bud

Prototype Bud runtime (Bloom Under Development)

Language:RubyNOASSERTION010

codewithandrea_flutter_packages

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

Language:DartMIT000

community

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

000

dexter

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

Language:JavaMIT010

DigitalTraveler

A digital traveler for tracking orders in job shops.

Language:DartMIT010

EthereumCasino

Decentralized Casino deployed on the Ethereum Smart Contract Platform

Language:JavaScript050

expect-test

Minimalistic snapshot testing for Rust.

Apache-2.0000

fantasy-football

All things FF...

Language:Rust010

GamestonkTerminal

The next best thing after Bloomberg Terminal

Language:PythonMIT010

MSS

Multiresource Serverless Scheduler

Language:Python010

riscv-docker-images

Curated set of DockerFiles for RISC-V projects

Language:Dockerfile010

rocket-chip

Rocket Chip Generator

Language:ScalaNOASSERTION010

rust

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION000

smack-ucl

SMACK Software Verifier and Verification Toolchain

NOASSERTION000

snarkOS

A Decentralized Operating System for ZK Applications

Language:RustGPL-3.0000

spinach

Rust lattice experiements

Language:Rust010

StableMarriageSolver

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

Language:Java000

timely-dataflow

A modular implementation of timely dataflow in Rust

Language:RustMIT010

uclid

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

Language:ScalaNOASSERTION010

vectre-angr-disasm

Disassembler producing program definitions for the Vectre++ toolchain.

Language:PythonMIT010

vectre-evaluation

Evaluation source code for the Vectre++ tool.

Language:RubyMIT010

vectre-prelim

Preliminary specifications and models from the Vectre++ verifier.

010

vectre-riscv-analyzer

Python Model of the RISC-V ISA

Language:PythonMIT000