Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

1–4 of 4 · Most stars

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

  • code-property-graph
  • compiler-theory
  • program-analysis
  • robdd

Cross-platform UI framework for Rust: styled property system, data binding, XAML, control themes and a composition renderer. A port of Avalonia.