Custom Query (3 matches)


Show under each result:

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