-
leo-experiments Public
An assortment of Leo programs for experimentation and compiler debugging.
-
aleo-net-welcome Public
Forked from AleoNet/welcomeWelcome to the Aleo Network community.
-
-
proof-of-reserves Public
Privacy-preserve Proof of Reserves powered by Aleo.
-
-
aleo-staking Public
Forked from demox-labs/aleo-standard-programsA fork of the `aleo-staking` repository.
-
-
slingshot Public archive
Forked from ProvableHQ/sdkA lightweight CLI for deploying programs and executing transactions on Aleo.
-
snarkOS Public
Forked from ProvableHQ/snarkOSA Decentralized Operating System for ZK Applications
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
-
expect-test Public
Forked from rust-analyzer/expect-testMinimalistic snapshot testing for Rust.
-
community Public
Forked from ProvableHQ/communityA place for everyone to collaborate and communicate: Agendas and meeting notes.
1 UpdatedDec 21, 2021 -
-
vectre-evaluation Public
Evaluation source code for the Vectre++ tool.
-
vectre-angr-disasm Public
Disassembler producing program definitions for the Vectre++ toolchain.
Python MIT License UpdatedJul 23, 2021 -
vectre-prelim Public
Preliminary specifications and models from the Vectre++ verifier.
UpdatedMay 7, 2021 -
DigitalTraveler Public
A digital traveler for tracking orders in job shops.
Dart MIT License UpdatedApr 27, 2021 -
codewithandrea_flutter_packages Public
Forked from bizz84/codewithandrea_flutter_packagesA collection of packages created to increase code reuse across many of my Flutter projects.
Dart MIT License UpdatedApr 19, 2021 -
vectre-riscv-analyzer Public
Forked from wallento/riscv-python-modelPython Model of the RISC-V ISA
Python MIT License UpdatedApr 14, 2021 -
dexter Public
Forked from uwplse/dextera compiler for re-writing image processing functions in C++ to Halide
-
GamestonkTerminal Public
Forked from OpenBB-finance/OpenBBThe next best thing after Bloomberg Terminal
-
MSS Public
Forked from adityaramkumar/MSSMultiresource Serverless Scheduler
-
spinach Public
Forked from MingweiSamuel/spinachRust lattice experiements
Rust UpdatedDec 17, 2020 -
kvsbench Public
Forked from sile/ekvsbBenchmark Tool for Embedded Key-Value Stores available in Rust
-
-
uclid Public
Forked from uclid-org/uclidUCLID5: formal modeling, verification, and synthesis of computational systems
Scala Other UpdatedNov 10, 2020 -
timely-dataflow Public
Forked from TimelyDataflow/timely-dataflowA modular implementation of timely dataflow in Rust
-
anna Public
Forked from hydro-project/annaA low-latency, cloud-native KVS
C++ Apache License 2.0 UpdatedSep 17, 2020 -
bud Public
Forked from bloom-lang/budPrototype Bud runtime (Bloom Under Development)
Ruby Other UpdatedSep 1, 2020 -
StableMarriageSolver Public
A simple solver for the Stable-Marriage Problem, implementing the Gale-Shapely Algorithm.
{{ message }}