Partial function application macro for Rust
☆49Jul 30, 2020Updated 5 years ago
Alternatives and similar repositories for partial_application
Users that are interested in partial_application are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Dec 13, 2020Updated 5 years ago
- Polynomial fitting of data. This aims to be the Numpy equivalent for numpy.polyfit()☆13Nov 23, 2025Updated 6 months ago
- ☆16Feb 18, 2025Updated last year
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- `NonEmpty` library vector for rust☆21Apr 8, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆19Nov 21, 2019Updated 6 years ago
- ☆13Apr 12, 2020Updated 6 years ago
- Wrapper for linux demon/windows service for Rust☆66Nov 21, 2025Updated 6 months ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Code from the getting started guide☆10Aug 31, 2016Updated 9 years ago
- Derive Display for simple enums automagically☆25Feb 17, 2022Updated 4 years ago
- A Minecraft demo in Haskell ;)☆12Mar 11, 2016Updated 10 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- XaaS for KaTeX on docs.rs☆13Apr 21, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- dead simple reverse proxy and webserver☆13May 13, 2026Updated last month
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- A FUSE filesystem for browsing the xkcd webcomic☆14Jun 14, 2023Updated 3 years ago
- Rust crate for performing I/O in background thread☆28Aug 9, 2023Updated 2 years ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- async time combinators☆25Apr 26, 2026Updated last month
- Rust library for making easy parallel pipelines with Iterators.☆32Feb 12, 2020Updated 6 years ago
- A macro wrapping Rust closure calls that allows for capturing variables in scope on an individual bases.☆43Jun 4, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Serialization value trees☆49Jul 31, 2024Updated last year
- Making floating-point behave.☆88Nov 22, 2024Updated last year
- Macro for writing nested `if let` expressions☆168Aug 29, 2025Updated 9 months ago
- A Rust library for checking the intersection of two lines, rays, or line segments☆15Jun 25, 2022Updated 3 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- Convert numbers like 42 to forty-two☆18Aug 21, 2024Updated last year
- Benchmark for Rust and humans☆11Mar 28, 2024Updated 2 years ago
- A multi-threaded, persistent key/value store☆17Feb 9, 2021Updated 5 years ago
- <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐☆14Dec 12, 2019Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A standard Bloom Filter implementation☆25Aug 26, 2020Updated 5 years ago
- All-in-one mirror utility for SJTUG mirror☆52May 19, 2026Updated 3 weeks ago
- Fast APIs, fast☆17Nov 10, 2022Updated 3 years ago
- A Rust macro for writing regex pattern matching.☆49Mar 30, 2021Updated 5 years ago
- ☆210Apr 10, 2026Updated 2 months ago
- 第三次重构!☆16Dec 22, 2020Updated 5 years ago
- Plutus for the masses☆11Jan 20, 2023Updated 3 years ago