ptal/turbo ptal/turbo

  • Stars
    star
    10
  • Rank 1,755,732 (Top 36 %)
  • Language
    C++
  • License
    Apache License 2.0
  • Created over 3 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ptal/turbo
github

ptal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A constraint solver purely on GPUs (CUDA)

More Repositories

1

oak

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

expected

What did you expect?
C++
113
star
3

pcp

Constraint programming in Rust
Rust
93
star
4

std-expected-proposal

Proposal for the expected class.
TeX
17
star
5

intervallum

Integer interval arithmetic library
Rust
14
star
6

bonsai

Programming language based on the synchronous and constraint paradigms
Java
14
star
7

AbSolute

Constraint solver based on abstract interpretation
OCaml
10
star
8

kobe-scheduling

Data sets for the resource-constrained project scheduling problem (RCPSP)
JavaScript
8
star
9

neev

Event-driven networking library on top of Boost.Asio
C++
4
star
10

gcollections

Generic Rust Collection
Rust
2
star
11

trilean

Three-valued logics in Rust
Rust
2
star
12

chatroom

Java
1
star
13

lol2D

Java
1
star
14

absolute-demo

Demo and examples of the AbSolute constraint solver.
OCaml
1
star
15

bonsai-model-checking

Model-checking using the Bonsai language
Java
1
star
16

online-broker

JavaScript
1
star
17

checkdigit

Checkdigit validator/generator library aimed to be proposed in Boost
C++
1
star
18

lab1-introduction-ocaml

OCaml
1
star