A real time inference engine for temporal logical specifications
Collection of fast and optimized assembly libraries for x86-64 Linux
Pattern-based multi/many-core parallel programming framework
Algorithms that run our universe | Your personal library of every algo