Librerie scritte in Rust
papercraft
Papercraft è uno strumento per scartare modelli 3D. (di Rodrigorc).
- 51
- GNU General Public License v3.0 only
reverie
Un'implementazione efficiente e generalizzata del sistema di prova KKW in stile IKOS (https://eprint.iacr.org/2018/475) per anelli arbitrari. (per trailofbits).
- 51
- GNU Affero General Public License v3.0
bnum
Tipi numerici arbitrari a dimensione fissa che estendono la funzionalità dei tipi numerici primitivi in Rust.
- 51
- GNU General Public License v3.0
java-2-times-faster-than-c
Un'indagine sullo sviluppo di software non dogmatico. Un esperimento che mostra le doppie prestazioni del codice in esecuzione su JVM rispetto al codice C nativo equivalente.
- 51
- GNU General Public License v3.0 only
ui4
Una libreria dell'interfaccia utente reattiva senza vdom per il motore di gioco bevy.
- 51
- Apache License 2.0
aleph-node
Implementazione del nodo per la blockchain aleph creata con il framework Substrate.
- 51
- Apache License 2.0
rotated-array-set
Un array ordinato con accesso O(lg n) e O(√n) inserisce ed elimina.
- 51
- Apache License 2.0
kaput-cli
Il client CLI non ufficiale per Put.io - Kaput ti consente di gestire il tuo account Put.io comodamente dal tuo terminale!.
- 51
- MIT
cargo-patch
Sottocomando Cargo per l'applicazione di patch alle dipendenze utilizzando i file di patch.
- 51
- MIT
