rustype

Pinned Repositories

drone
Language:Rust2 2 00
http-parser
An HTTP parser which uses typestates
Language:Rust0 2 00
notes
Language:HTML4 2 01
novathesis
LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)
Language:TeX1 1 00
proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Language:Rust8 1 02
traffic-light
Example code for the presentation repository
Language:Rust0 2 00
travel-agency
Language:Rust2 2 00
typestate-automata
Language:Rust1 2 00
typestate-examples
Language:Rust4 2 00
typestate-rs
Proc-macro typestate DSL for Rust
Language:Rust139 4 2910

rustype's Repositories

rustype/typestate-rs
Proc-macro typestate DSL for Rust
Language:Rust139 4 2910
rustype/proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Language:Rust8 1 02
rustype/notes
Language:HTML4 2 01
rustype/typestate-examples
Language:Rust4 2 00
rustype/drone
Language:Rust2 2 00
rustype/travel-agency
Language:Rust2 2 00
rustype/novathesis
LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)
Language:TeX1 1 00
rustype/typestate-automata
Language:Rust1 2 00
rustype/http-parser
An HTTP parser which uses typestates
Language:Rust0 2 00
rustype/rw2021-presentation
"Typestates & Rust" proposal and presentation for the 1st Rust Verification Workshop
Language:TeX0 2 00
rustype/traffic-light
Example code for the presentation repository
Language:Rust0 2 00
rustype/thesis-doc
Language:TeX1 0
rustype/thesis-prep-presentation
Language:TeX