• Stars
    star
    1
  • Language
  • Created almost 7 years ago
  • Updated almost 7 years ago

Reviews

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

Repository Details

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

More Repositories

1

rust-safe

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

refl

Provides a Refl encoding in Rust
Rust
67
star
3

gradle-plugin-robospock

gradle plugin for configuring robospock (gradle + spock + roboelectric) easily.
Groovy
20
star
4

tor_control

Rust interface to the Tor Control Protocol (TorCP)
Rust
13
star
5

sublime-monocyanide-colorscheme

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

rfc-trait-parametric-polymorphism

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

rfc-effects

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

dbg

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

motd.dynamic

motd script written in python, highly configurable and lots of eyecandy
Python
7
star
10

rust_strong_rc

Reference counting smart pointer without weak count
Rust
4
star
11

firefox-line

Rewrite of Mozilla Labs Prospector Oneliner 2 with Addons SDK
JavaScript
4
star
12

proptest-derive

Custom-derive for the Arbitrary trait of proptest.
Rust
3
star
13

proptest-arbitrary

The Arbitrary trait for proptest and implementations for standard types.
Rust
3
star
14

sublime-autohide-sidebar

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

proptest-quickcheck-interop

Provides an interoperability layer for reuse of quickcheck::Arbitrary impls in proptest
Rust
3
star
16

rust_xpath

A Rust XML XPath library
Rust
3
star
17

interesting-papers

An add space for people to share interesting papers on PLT
2
star
18

aTetria

Initial push of Framework + Model + input processors.
Java
2
star
19

sublime-lbnf-syntax

Syntax for LBNF
2
star
20

sublime-twilightcyanide-colorscheme

Sublime Text: Twilightcyanide is Cyanide-ified Twilight: darker background & lighter foregrounds.
JavaScript
2
star
21

http-error-1337

A really mean HTTP 1337 error for IE users
PHP
1
star
22

XimaSSS

XimaSSS, a totally incomplete and non-functioning screen-shot saver/handler
C
1
star
23

rust-find

Provides the trait Find for the Rust programming language and impls for the trait
Rust
1
star
24

iter_from_closure

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

firefox-movable-titlebar

Movable Titlebar Buttons allows you to move the titlebar buttons on Windows 10.
JavaScript
1
star
26

rainbow

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

bin-util

small utility scripts, mostly git related.
Shell
1
star
28

consensusbot

Next gen rfcbot
Rust
1
star