'Transfer' is to 'move' what 'Clone' is to 'copy'
☆12Oct 13, 2019Updated 7 years ago
Alternatives and similar repositories for transfer
Users that are interested in transfer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Crate for data that should be pinned to the stack at the point of declaration.☆14Dec 21, 2020Updated 5 years ago
- Type-Level Programming in Rust☆30Dec 29, 2021Updated 4 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- ☆36Jul 19, 2019Updated 7 years ago
- A functional systems programming language with compile-time memory management☆31Nov 3, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experimental IntML-Implementation☆13Feb 1, 2025Updated last year
- ☆14Dec 9, 2022Updated 3 years ago
- Experimental functional language☆17Dec 24, 2025Updated 10 months ago
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆37May 31, 2026Updated 4 months ago
- The Closey programming language☆14Jul 20, 2021Updated 5 years ago
- A rust procedural macro to add build info at compile time☆17Sep 28, 2023Updated 3 years ago
- Custom exit status codes with ? in main☆29Jun 17, 2019Updated 7 years ago
- CLI and Rust library for sending metrics to Prometheus over the remote write API.☆10Nov 1, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Slides and source material used for presentations☆17Jun 10, 2023Updated 3 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- A WIP little dependently-typed systems language☆42Aug 13, 2024Updated 2 years ago
- Experimental effects library for Idris 2☆45May 13, 2022Updated 4 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 5 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆26May 22, 2020Updated 6 years ago
- Overriding Stdio file descriptors in Rust☆19Jan 26, 2025Updated last year
- Statically typed, high-level functional programming language.☆16Aug 22, 2021Updated 5 years ago
- adaptive algorithms for rayon☆39Apr 19, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Serde deserializer for duration and byte-size.☆10Dec 19, 2019Updated 6 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106May 29, 2023Updated 3 years ago
- Join the REVEN community. Ask questions, talk about reverse engineering, discuss REVEN, and show off your work!☆14Nov 30, 2021Updated 4 years ago
- Arena allocator with scopes☆44May 7, 2023Updated 3 years ago
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 7 years ago
- Substring searching in rust☆16May 1, 2016Updated 10 years ago
- Hexadecimal float support for Rust☆47Sep 2, 2025Updated last year
- Idiomatic Async Prometheus Query (PromQL) Client for Rust.☆21May 8, 2020Updated 6 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Non-standard integer types like u7, u9, u10, u63, i7, i9 etc.☆12Nov 11, 2024Updated last year
- Cache & In-Memory optimizations for Rust, revived from the slabs of Sumer.☆29Feb 22, 2020Updated 6 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 5 years ago
- measures and prints wall time in rust for given scope☆19Dec 9, 2024Updated last year
- Print bytes as losslessly as possible.☆19Sep 6, 2025Updated last year
- ☆11Nov 5, 2020Updated 5 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆28Apr 22, 2022Updated 4 years ago