ajtulloch / roogle
Rust API search engine
☆54Updated 10 years ago
Alternatives and similar repositories for roogle:
Users that are interested in roogle are comparing it to the libraries listed below
- Algebraic structure and emulation of higher kinded types for Rust☆107Updated 6 years ago
- Parser and pretty-printer for the Rust language☆86Updated last year
- Generate Purescript types from your Rust types. (unmaintained)☆41Updated 6 years ago
- Toy example of calling Rust from Haskell☆131Updated 9 years ago
- A Nix expression for nightly Rust versions☆40Updated 5 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- A monadic IO interface in Rust☆75Updated 8 years ago
- Scrap Your Rust Boilerplate☆54Updated 7 years ago
- Compile time stack traces for Rust errors (no backtrace!)☆75Updated 6 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 9 years ago
- An implementation of the "rose tree" data structure for Rust.☆24Updated 3 years ago
- ☆44Updated 6 years ago
- ☆16Updated 8 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.☆61Updated 7 years ago
- Strongly typed routes for Rust☆35Updated 3 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆80Updated 4 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 7 years ago
- Units of Measure for Rust☆45Updated 9 years ago
- A macro for defining type operators in Rust.☆65Updated 7 years ago
- Markdown-based Literate programming in Rust, integrated with Cargo.☆171Updated 2 years ago
- cargo +nightly build☆34Updated 5 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆102Updated 5 years ago
- Monadic do notation for rust using macro and duck typing☆227Updated 5 years ago
- ☆54Updated 4 years ago
- Adapton Lab, written in Rust.☆15Updated 5 years ago
- Software rasterization, N-Body simulation and Game of Life in Rust + Haskell☆109Updated 8 years ago