Pinned Repositories
cuda-battery
Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU
AbSolute
Constraint solver based on abstract interpretation
bonsai
Programming language based on the synchronous and constraint paradigms
expected
What did you expect?
intervallum
Integer interval arithmetic library
kobe-scheduling
Data sets for the resource-constrained project scheduling problem (RCPSP)
oak
A typed parser generator embedded in Rust code for Parsing Expression Grammars
pcp
Constraint programming in Rust
std-expected-proposal
Proposal for the expected class.
turbo
A constraint solver purely on GPUs (CUDA)
ptal's Repositories
ptal/pcp
Constraint programming in Rust
ptal/intervallum
Integer interval arithmetic library
ptal/turbo
A constraint solver purely on GPUs (CUDA)
ptal/kobe-scheduling
Data sets for the resource-constrained project scheduling problem (RCPSP)
ptal/lab1-introduction-ocaml
ptal/pf2-summer-2023
ptal/automotive-network-cp
ptal/binary_tree
ptal/cpp-peglib
A single file C++ header-only PEG (Parsing Expression Grammars) library
ptal/dynamic_array
ptal/exam
ptal/generics
ptal/hacking-in-bash
Nope, you won't really hack anything, but the name is cool.
ptal/hash_table
ptal/hello_world
Learn the basics of Java (imperative kernel)
ptal/lab2-sum-type
ptal/lab3-more-sum-type
ptal/lab4-higher-order-fun
ptal/lab5-parametric-polymorphism
ptal/lab6-7-the-expression-problem
ptal/linked_list
ptal/minizinc-python
Access to all MiniZinc functionality directly from Python
ptal/mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
ptal/nvcc-bug
ptal/ocaml-snippets
OCaml example codes used for teaching
ptal/pokedeck
ptal/rpg
ptal/satellite-marketplace-cp
ptal/space_exploration
ptal/the_card_game