• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    CSS
  • License
    Creative Commons ...
  • Created 8 months ago
  • Updated 8 months ago

Reviews

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

Repository Details

More Repositories

1

intorust

Learn Rust real good.
HTML
306
star
2

how-to-rust

A collection of blog posts and links that talk about how to successfully use Rust.
285
star
3

moro

Experiments with structured concurrency in Rust
Rust
265
star
4

rustacean-principles

Handlebars
176
star
5

skill-tree

Skill-tree rendering
Rust
145
star
6

office-hours

Help me help you!
110
star
7

borrowck

Modeling NLL and the Rust borrowck
Rust
67
star
8

rust-design-axioms

Discovering and describing Rust's design axioms
61
star
9

fields-in-traits-rfc

An (experimental) RFC repo devoted to the "fields in traits" RFC.
59
star
10

gnome-class

Some experimental macros for GNOME integration
Rust
54
star
11

nll-rfc

Non-lexical lifetimes RFC.
46
star
12

bidir-type-infer

Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
Rust
43
star
13

dogged

Experimental persistent collections in Rust
Rust
42
star
14

perf-focus

A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.
Rust
35
star
15

rustypop

A not-yet-functional Rust parser written in LALRPOP.
Rust
33
star
16

cargo-incremental

A fuzzing tool for incremental compilation that walks git history
Rust
33
star
17

dyner

Experimenting with ergonomic dyn types
Rust
29
star
18

babysteps

Babysteps blog
JavaScript
27
star
19

rust-tutorials-keynote

Keynote versions of my Rust tutorials.
HTML
26
star
20

rust-etags

Exuberant ctags language definition for Rust.
Shell
22
star
21

plmw-2022

Talk to be given at PLMW 2022
CSS
20
star
22

polonius.next

experimental datalog rules for a next gen polonius
Rust
19
star
23

concurrency-tutorial

Rust concurrency tutorial examples
Rust
19
star
24

rust-ctags

ctags definition for Rust
Shell
17
star
25

rust-skill-tree

A (WIP) skill tree for Rust
HTML
17
star
26

mutable

Tinkering with a more ergonomic cell abstraction
Rust
16
star
27

rusty-peg

Rust
16
star
28

great-pl-papers

Exploring awesome PL papers in redex
Racket
16
star
29

rust-tutorializer

A very basic framework for publishing and experimenting with sample code for Rust tutorials. Also includes a collection of lecture plans. Currently for my own personal use, but maybe evolvable into something byeond that.
Rust
14
star
30

rustnl-2024

Type theory for busy engineers
Rust
14
star
31

rust-belt-rust-2019

Polonius talk at RBR 2019
CSS
13
star
32

context-capabilities-initiative

12
star
33

ppl-2023

Talk for PPL2023
CSS
12
star
34

lsrtm

Concurrency and parallelism in async Rust
CSS
12
star
35

rustc-on-demand-incremental-design-doc

A draft design document / RFC describing the plan for incremental and "on-demand"
12
star
36

rust-name-resolution-algorithm

A prototype of my proposed name resolution algorithm for Rust.
Rust
12
star
37

nll-souffle

experimental variant of nll analysis based on datalog
Rust
11
star
38

rustconf-2021

Talk for RustConf 2021
CSS
11
star
39

pliss-2019

Slides for PLISS 2019
CSS
10
star
40

typing-haskell-in-rust

Port of the code from Typing Haskell in Haskell to Rust
Rust
10
star
41

eurorust-2023

Talk for EuroRust 2023
CSS
9
star
42

mathema

An experimental flashcard program.
Rust
9
star
43

learn-some-rust-this-month

Code snippets for Rust discussions
Rust
9
star
44

chalk-it-up

Chalk 2.0: a design document and planning repository
JavaScript
8
star
45

simple-graph

A (very) simple graph library.
Rust
8
star
46

rust-runtime-benchmarks

Some benchmarks for testing rustc performance.
Rust
8
star
47

rust-iter

An iteration library for Rust
Rust
7
star
48

rustc-parallelization

A repo to house plans to parallelize rustc.
7
star
49

lsrtm-2022-05

Talking about async Rust
CSS
7
star
50

rust-formal

Featherweight Java for Rust
6
star
51

rustconf2019-solana

Talk for RustConf 2019 at Solana event
CSS
5
star
52

rustc-mux

A rustup-compatible rustc toolchain that selects which version of `rustc` to use based on your local directory.
Shell
5
star
53

rust-latam-2019

Keynote speech for Rust LATAM 2019
CSS
5
star
54

graph-compress

A little algorithm used in incremental compilation to compress graphs. Will move into rustc eventually.
Rust
5
star
55

rust-recursive-descent-regex-parser

A very simple demonstration of how a recursice descent parser works.
Rust
5
star
56

cargo-chrono

a cargo benchmarking tool
Rust
5
star
57

pjs-polyfill

Prototype of PJS API based on typed objects.
JavaScript
5
star
58

rusty-rete

An implementation of the Rete algorithm in Rust.
Rust
5
star
59

2022-06-15-blogpost

Rust
4
star
60

rebnf

"Rebnf" -- an extended form of EBNF, intended primarily for specifying Rust grammar
Rust
4
star
61

boston-rust-artwork

Citgo sign forever
4
star
62

rusty-wam

A Rust implementation of the classic Warren Abstract Machine (WAM) for Prolog
Rust
4
star
63

iFood-Tech-Day-2022

CSS
4
star
64

dwim

Who *doesn't* want the computer to just do what they mean?!
4
star
65

squared

Rust
4
star
66

yaccrpop

A hacky and quite incomplete program to convert YACC files into skeleton LALRPOP files.
Rust
4
star
67

crabcake

Rust
4
star
68

plar-rs

Exploring John Harrison's Handbook of Practical Logic and Automated Reasoning, in Rust
Rust
4
star
69

Popsicle

A utility for writing type rules that are emitted as LaTeX.
Python
3
star
70

async-fn-in-traits

Playground for async fn in traits
3
star
71

rust-trait-object-upcast

In-progress RFC around trait object upcasting
3
star
72

rayon-plot

Plotting tool for Rayon logs (WIP)
3
star
73

rustverify2022

Presentation for Rust Verify 2022
CSS
3
star
74

rust-lifetime-errors

A collection of rust files with lifetime errors
3
star
75

Lathos

A generic debug log server.
Java
3
star
76

enimerosi

github notification manager (super megaduper experimental)
TypeScript
2
star
77

rust-grammar-toy

Toy model of Rust grammar, specifically targeted at exploring RFC 2250
Rust
2
star
78

SpanakopitaPlugin

A plugin for TextMate to create a Wiki-like environment.
Objective-C
2
star
79

genasynciter

sketching a possible approach to generator/iterator traits
Rust
2
star
80

nll-crater-run-results

tracking NLL crater run results
2
star
81

intorust.vscode

A VSCode extension for learning Rust
CSS
2
star
82

PopsicleBundle

A TextMate bundle for Popsicle.
2
star
83

Harmonic

Harmonic Programming Language
2
star
84

suspend

Experiments with suspension
Rust
2
star
85

vision-squared

VisionΒ² -- the vision doc for vision docs.
2
star
86

patpar

Java prototype of the Patient Parent model for parallel programming
Java
2
star
87

pjs-old

C++
2
star
88

skillsmatter2022

Skills Matter 2022
CSS
2
star
89

SpanakopitaBundle

A TextMate bundle for Spanakopita.
Python
2
star
90

coq-a-doodle-do

messing around with "Certified Programming with Dependent Types"
Coq
2
star
91

teyjus-rust-region-solver

Messing about with the "redction" of higher-ranked regions to simpler constraints in teyjus
AMPL
2
star
92

talk-template

A template for talks I give
CSS
2
star
93

americano

Experimental calendaring software
SCSS
1
star
94

rust-safe-robinhood-map

An experimental safe version of robin hood map in Rust
Rust
1
star
95

me

Various pictures of myself that I have used as avatar pics.
1
star
96

dyn-vision-doc

Notes on dyn in Rust
1
star
97

parpipeline

Experimental parallel pipeline API for JS
JavaScript
1
star
98

rusty-regex

A regex macro that creates compile-time macros.
Rust
1
star
99

nikomatsakis-babysteps-theme

Theme for my babysteps blog
SCSS
1
star
100

pjs-pipeline

Experimental API.
JavaScript
1
star