ptal Goto Github PK

absolute

Constraint solver based on abstract interpretation

absolute-demo

Demo and examples of the AbSolute constraint solver.

ama

Anonymous procedural macro in Rust

automotive-network-cp

bailey

Toy language in Rust

binary_tree

bonsai

Programming language based on the synchronous and constraint paradigms

bonsai-model-checking

Model-checking using the Bonsai language

chatroom

checkdigit

Checkdigit validator/generator library aimed to be proposed in Boost

connect4

cpp-peglib

A single file C++ header-only PEG (Parsing Expression Grammars) library

digitalself

dynamic_array

endian

Proposed Boost Endian library

exam

expected

What did you expect?

fun-with-javafx

gcollections

Generic Rust Collection

generics

hacking-in-bash

Nope, you won't really hack anything, but the name is cool.

hash_table

hello_world

Learn the basics of Java (imperative kernel)

intervallum

Integer interval arithmetic library

kissat

kobe

Constraint benchmarking tools for various solvers including GeCode, Chuffed and AbSolute.

kobe-database

Benchmarking results obtained by the `kobe` tool for various problems.

kobe-sat

Data sets for the satisfiability problem (SAT)

kobe-scheduling

Data sets for the resource-constrained project scheduling problem (RCPSP)

la-bataille

Jeu de carte "la bataille" dans le cadre du cours Java/UPMC