Custom Query (15 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Keywords Owner Type Priority
#1699 Verify base using Liquid Haskell to ensure totality of functions new base verification Liquid Haskell proposed-project not yet rated
#1698 Traversable instance for `vector` new traversable instance vector proposed-project not yet rated
#1660 Rewrite the Pandoc Markdown Parser new pandoc proposed-project good
#55 Improvements to the INBlobs tool developed at U. Minho new Interaction Net interpreter none proposed-project
#1598 Improve/rewrite HDBC backends new hdbc, bindings proposed-project good
#1616 Implement Cabal<->OS package management systems relations new cabal, pkg-config, usability proposed-project OK
#1608 Implement 2-3 concurrent data structures from the literature new concurrency, data structures Ryan Newton proposed-project good
#1556 Further Parsec Improvements new Parsec proposed-project OK
#1604 Embedding Haskell in C++: The FFI upside-down new embed haskell c++ ffi proposed-project OK
#1592 C++ -> Haskell FFI Generator using SWIG new c++ proposed-project good
#1564 C Bindings to Haskell Values new C bindings Eric Polino proposed-project OK
#1537 Add NVIDIA CUDA backend for Data Parallel Haskell new CUDA, Data Parallel Haskell, Concurrency proposed-project bad
#1675 A substitution stepper new substitution stepper expressions lambda calculus Freinn proposed-project not yet rated
#1596 A statistics library and environment new statistics proposed-project OK
#1696 "light" GHC version for faster builds new building time, compiler optimizations, profiling proposed-project not yet rated
Note: See TracQuery for help on using queries.