Pinned Loading

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

   TeX

2. An expenses tracker app to study BDD with RSpec

   Ruby

3. Software specification and verification system based on graph rewriting

   Haskell 37 5

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

   Elixir