Custom Query (3 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Keywords Owner Type Priority
#1537 Add NVIDIA CUDA backend for Data Parallel Haskell new CUDA, Data Parallel Haskell, Concurrency proposed-project bad
#1604 Embedding Haskell in C++: The FFI upside-down new embed haskell c++ ffi proposed-project OK
#1699 Verify base using Liquid Haskell to ensure totality of functions new base verification Liquid Haskell proposed-project not yet rated
Note: See TracQuery for help on using queries.