Repositories list

• notes

  Public archive
  HTML

  •1•4•0•1•Updated Mar 19, 2024Mar 19, 2024

• typestate-rs

  Public archive
  Proc-macro typestate DSL for Rust

  rustautomatastate-machine+ 3dslmacrotypestate

  Rust

  •

  Apache License 2.0

  •12•154•16•2•Updated Jul 4, 2023Jul 4, 2023

• thesis-doc

  Public archive
  TeX

  •

  LaTeX Project Public License v1.3c

  •0•0•0•0•Updated Jul 20, 2021Jul 20, 2021

• typestate-examples

  Public archive
  Rust

  •0•4•0•0•Updated Jul 6, 2021Jul 6, 2021

• typestate-automata

  Public archive
  Rust

  •

  Apache License 2.0

  •0•1•0•0•Updated Jul 6, 2021Jul 6, 2021

• travel-agency

  Public archive
  Rust

  •0•2•0•0•Updated May 11, 2021May 11, 2021

• traffic-light

  Public archive
  Example code for the presentation repository

  Rust

  •0•0•0•0•Updated Mar 12, 2021Mar 12, 2021

• thesis-prep-presentation

  Public archive
  TeX

  •

  Creative Commons Attribution 4.0 International

  •0•0•0•0•Updated Mar 12, 2021Mar 12, 2021

• novathesis

  Public archive
  LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)

  TeX

  •

  LaTeX Project Public License v1.3c

  •178•1•0•0•Updated Mar 1, 2021Mar 1, 2021

• rw2021-presentation

  Public archive
  "Typestates & Rust" proposal and presentation for the 1st Rust Verification Workshop

  TeX

  •0•0•0•0•Updated Mar 1, 2021Mar 1, 2021

• http-parser

  Public archive
  An HTTP parser which uses typestates

  rusthttptypestate

  Rust

  •0•0•0•0•Updated Dec 24, 2020Dec 24, 2020

• proc-macro-workshop

  Public archive
  Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

  Rust

  •

  Apache License 2.0

  •1.2k•7•0•0•Updated Dec 15, 2020Dec 15, 2020

• drone

  Public archive
  Rust

  •0•2•0•0•Updated Nov 30, 2020Nov 30, 2020