lta-rs / lta-rsLinks
π Singapore LTA Datamall Rust Client
β19Updated last year
Alternatives and similar repositories for lta-rs
Users that are interested in lta-rs are comparing it to the libraries listed below
Sorting:
- Rust bindings to KaTeXβ119Updated last year
- Contains a list of security related Rust projects.β247Updated last year
- My PhD thesis (eventually)β92Updated 4 years ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.β262Updated 3 years ago
- A Coordination repo for all things Rust Cryptography orientedβ275Updated 4 months ago
- X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.β338Updated last year
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysisβ170Updated 2 months ago
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulasβ240Updated this week
- Learn Rust on AWS or Learn AWS with Rust. Do whatever you would like.β28Updated 3 years ago
- This guide explains how you can use "global data" in Rustβ203Updated 5 years ago
- Forest Fire Model, SOC cellular automatonβ81Updated 5 months ago
- X.509 parser written in pure Rust. Fast, zero-copy, safe.β243Updated last month
- Rust ABI safe code generatorβ188Updated 2 months ago
- Productive and safe Rust binding for leptonica and tesseractβ271Updated last year
- Display syntax-diagrams for Rust-macros on docs.rs and doc.rust-lang.orgβ194Updated 2 years ago
- Music theory and score rendering library with midi, notes, chords, scales, and more.β270Updated last year
- β37Updated 4 years ago
- Rust bindings for the Z3 solver.β411Updated this week
- Rust bindings for liboqsβ151Updated last month
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematicβ¦β345Updated this week
- A demo of using buck2 with Rust.β21Updated 2 years ago
- Collection of stream cipher algorithmsβ296Updated 3 weeks ago
- Complex numbers for Rustβ238Updated 2 months ago
- Lightly organized personal notes about Rustβ454Updated 5 months ago
- Use the issues for discussionβ24Updated 6 years ago
- Better syntax for if/else chainsβ51Updated 3 years ago
- property testing and verification front-end for Rustβ211Updated 2 weeks ago
- Cargo subcommand for viewing LLVM optimization remarks.β177Updated last year
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.β276Updated 3 years ago
- A NES emulator written in Rustβ119Updated 2 years ago