Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Notes | 8 | 8 years ago | 25 | TeX | ||||||
Just notes of my own | ||||||||||
Incremental_rtec | 7 | 2 years ago | Prolog | |||||||
Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order streams. | ||||||||||
Golog | 5 | 3 years ago | mit | Haskell | ||||||
Plan recognition system based on the situation calculus and action language Golog, written in Haskell |