Projects in Awesome Lists tagged with generic-tree

A curated list of projects in awesome lists tagged with generic-tree .

• Sort

  • Recently synced
  • Stars

https://github.com/astrapi69/gen-tree

Project that holds a generic model for tree objects

generic-tree leaf node tree

Last synced: 25 Jan 2026

https://github.com/verse-lab/arboreta

Mechanised Reasoning about Array-Based Trees in Separation Logic

coq data-race-detection formal-verification generic-tree logical-clock rosetree separation-logic vector-clock

Last synced: 23 Jan 2026