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☆106Updated 6 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 6 years ago
- A monadic IO interface in Rust☆76Updated 9 years ago
- Scrap Your Rust Boilerplate☆55Updated 7 years ago
- Parser and pretty-printer for the Rust language☆86Updated last year
- A Nix expression for nightly Rust versions☆40Updated 5 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- Toy example of calling Rust from Haskell☆130Updated 9 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆80Updated 4 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- Software rasterization, N-Body simulation and Game of Life in Rust + Haskell☆110Updated 8 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- ☆45Updated 6 years ago
- ☆16Updated 9 years ago
- Compile time stack traces for Rust errors (no backtrace!)☆74Updated 6 years ago
- cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.☆62Updated 7 years ago
- Monadic do notation for rust using macro and duck typing☆227Updated 5 years ago
- Cryptographic signatures for auditing unsafe code in Rust☆54Updated 10 years ago
- Parsell: an LL(1) parser combinator library for Rust☆74Updated 4 years ago
- cargo +nightly build☆34Updated 5 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- ☆54Updated 5 years ago
- Category Theory For Programmers (Bartosz Milewski)☆66Updated 3 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- The Request for Explanation podcast that explains Rust RFCs☆59Updated 4 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 9 years ago
- A fast monadic-style parser combinator designed to work on stable Rust.☆243Updated 2 years ago
- Test the downstream impact of Rust crate changes before publishing☆58Updated 7 years ago
- X11 screen saver and locker.☆57Updated 5 years ago