https://github.com/qti3e/idag

https://github.com/qti3e/idag

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/qti3e/idag
• Owner: qti3e
• Created: 2022-12-12T03:53:44.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2022-12-17T09:32:00.000Z (about 2 years ago)
• Last Synced: 2024-11-16T17:27:51.833Z (about 2 months ago)
• Language: Rust
• Size: 26.4 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
#  Interactive DAG

An (not-yet) efficient incremental DAG for real-time type verification systems or other purposes.

Maintaining the topological ordering is based on the work presented in

[this paper](https://dl.acm.org/doi/10.1145/1187436.1210590):

```

A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs

   DAVID J. PEARCE / PAUL H. J. KELLY

   Journal of Experimental Algorithmics (JEA)

   Volume 11, 2006, Article No. 1.7

   ACM New York, NY, USA

```