Pinned Loading

1. dissertation dissertation Public

   Occurrence Graph Grammars with Negative Application Conditions (Master's Dissertation)

   TeX

2. expense_tracker expense_tracker Public

   An expenses tracker app to study BDD with RSpec

   Ruby

3. Verites/verigraph Verites/verigraph Public

   Software specification and verification system based on graph rewriting

   Haskell 37 4

4. mastery mastery Public

   Project to study elixir following the book Designing Elixir Systems with OTP by James Edward Gray, II and Bruce A. Tate

   Elixir