🏰 CASL

This is a GitHub repository for the CASL research group. CASL is pronounced like "castle" and stands for...

  • Consistency-Aware Solvers and Languages
  • Coordination-Avoiding Systems Lab
  • Consistent and Available Systems Lab 😉
  • Clever, Ambitious Systems and Languages
  • CASL Ain't a Systems Lab
  • Can't Allocate, Stack Limit
  • ...

Our name symbolizes strength, safety, longevity, and a bit of magic and whimsy. 🏰