경제PLUS 경제PLUS

코딩Coding/★Rust★Crates.io★

• Rust Crates) Lambda_calculus

  코딩Coding/★Rust★Crates.io★ 2022. 6. 26. 00:51

  https://docs.rs/lambda_calculus/latest/lambda_calculus/ lambda_calculus - Rust A macro for obtaining a projection function (π) providing the i-th (one-indexed) element of a lambda-encoded n-tuple. docs.rs

  Read More
• Rust Crates ) AquaVM interprets AIR – a π-calculus-derived

  코딩Coding/★Rust★Crates.io★ 2022. 6. 26. 00:48

  https://github.com/fluencelabs/aquavm GitHub - fluencelabs/aquavm: AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to - GitHub - fluencelabs/aquavm: AquaVM interprets AIR – a π-calculus-derived set of instructions t... github.com AquaVM interprets AIR ..

  Read More
• Rust❤️CreuSAT - A formally verified SAT solver written in Rust and verified

  코딩Coding/★Rust★Crates.io★ 2022. 6. 22. 09:37

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. https://github.com/sarsko/CreuSAT GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. - GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and..

  Read More
• Rust❤️ Javascript Crates

  코딩Coding/★Rust★Crates.io★ 2022. 6. 21. 15:40

  Wasm-bindgen Web-sys Js-sys Wasm-pack 21 min 24sec https://youtu.be/ZLxGO-NpsVM

  Read More
• Rust crates) tui-rs ❤️Build terminal user interfaces and dashboards using Rust

  코딩Coding/★Rust★Crates.io★ 2022. 6. 2. 15:12

  Build terminal user interfaces and dashboards using Rust https://github.com/fdehau/tui-rs GitHub - fdehau/tui-rs: Build terminal user interfaces and dashboards using Rust Build terminal user interfaces and dashboards using Rust - GitHub - fdehau/tui-rs: Build terminal user interfaces and dashboards using Rust github.com

  Read More
• Rust❤️gtk)Text-Based & Graphical User Interfaces - danlogs

  코딩Coding/★Rust★Crates.io★ 2022. 5. 31. 17:38

  https://youtu.be/dK9-oXptFcM

  Read More
• Rust Crates Top 10❤️-LGR

  코딩Coding/★Rust★Crates.io★ 2022. 5. 25. 23:30

  https://youtu.be/FPRH66r-zUQ

  Read More
• Rust❤️MachineLearning

  코딩Coding/★Rust★Crates.io★ 2022. 5. 24. 07:00

  https://github.com/vaaaaanquish/Awesome-Rust-MachineLearning GitHub - vaaaaanquish/Awesome-Rust-MachineLearning: This repository is a list of machine learning libraries written in Rust. It' This repository is a list of machine learning libraries written in Rust. It's a compilation of GitHub repositories, blogs, books, movies, discussions, papers, etc. 🦀 - GitHub - vaaaaanquish/Awe... github.com

  Read More