Centril/proptest-quickcheck-interop

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Rust
License
Apache License 2.0
Created almost 7 years ago
Updated almost 7 years ago

Centril/proptest-quickcheck-interop

Centril

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Provides an interoperability layer for reuse of quickcheck::Arbitrary impls in proptest

rust-safe

A `#[safe]` attribute for explaining why `unsafe { ... }` is OK.

refl

Provides a Refl encoding in Rust

gradle-plugin-robospock

gradle plugin for configuring robospock (gradle + spock + roboelectric) easily.

tor_control

Rust interface to the Tor Control Protocol (TorCP)

sublime-monocyanide-colorscheme

Sublime Text: Monocyanide is Cyanide-ified Monokai Extended: darker background & lighter foregrounds.

rfc-trait-parametric-polymorphism

Planning, scheming and designing of {-# LANGAUGE ConstraintKinds #-} for Rust

rfc-effects

Preparing an RFC on effect polymorphism in Rust with focus on 'const'

dbg

Implementation of https://github.com/rust-lang/rfcs/pull/2173 in stable rust

motd.dynamic

motd script written in python, highly configurable and lots of eyecandy

rust_strong_rc

Reference counting smart pointer without weak count

firefox-line

Rewrite of Mozilla Labs Prospector Oneliner 2 with Addons SDK

proptest-derive

Custom-derive for the Arbitrary trait of proptest.

proptest-arbitrary

The Arbitrary trait for proptest and implementations for standard types.

sublime-autohide-sidebar

A Sublime Text plugin that autohides the sidebar and shows it when the mouse hovers the edge of the editor window.

rust_xpath

A Rust XML XPath library

interesting-papers

An add space for people to share interesting papers on PLT

aTetria

Initial push of Framework + Model + input processors.

sublime-lbnf-syntax

Syntax for LBNF

sublime-twilightcyanide-colorscheme

Sublime Text: Twilightcyanide is Cyanide-ified Twilight: darker background & lighter foregrounds.

http-error-1337

A really mean HTTP 1337 error for IE users

XimaSSS

XimaSSS, a totally incomplete and non-functioning screen-shot saver/handler

rust-find

Provides the trait Find for the Rust programming language and impls for the trait

iter_from_closure

Provides an iter_from_closure function for getting an Iterator<Item = Item> from FnMut() -> Option<Item>

firefox-movable-titlebar

Movable Titlebar Buttons allows you to move the titlebar buttons on Windows 10.

rainbow

(Idea stage) Modern, fast, stable, versatile, cross-platform torrent system based on rust, HTML5, javascript

bin-util

small utility scripts, mostly git related.

consensusbot

Next gen rfcbot

rfc-total-fn

This repo exists for the sole purpose for preparing and writing up an RFC on 'total fn' in Rust.