Pinned

1. turbo turbo Public

   A constraint solver purely on GPUs (CUDA)

   C++ 12 5

2. lattice-land/cuda-battery lattice-land/cuda-battery Public

   Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU

   C++ 15 1

3. oak oak Public

   A typed parser generator embedded in Rust code for Parsing Expression Grammars

   Rust 141 14

4. pcp pcp Public

   Constraint programming in Rust

   Rust 93 8

5. bonsai bonsai Public

   Programming language based on the synchronous and constraint paradigms

   Java 15

6. AbSolute AbSolute Public

   Constraint solver based on abstract interpretation

   OCaml 10 2