Discover @ptal Open Source projects

Pierre Talbot (@ptal)

ptal

Stars
434
Global Rank 63,051 (Top 3 %)
Followers 51
Following 39
Registered over 11 years ago
Most used languages

Rust
26.3 %

Java
21.1 %

C++
21.1 %

OCaml
15.8 %

JavaScript
10.5 %

TeX
5.3 %
Location 🇱🇺 Luxembourg
Country Total Rank 37
Country Ranking

OCaml
1

Rust
1

C++
3

TeX
3

Java
25

JavaScript
67

oak

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

expected

What did you expect?

pcp

Constraint programming in Rust

std-expected-proposal

Proposal for the expected class.

intervallum

Integer interval arithmetic library

bonsai

Programming language based on the synchronous and constraint paradigms

AbSolute

Constraint solver based on abstract interpretation

turbo

A constraint solver purely on GPUs (CUDA)

kobe-scheduling

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

neev

Event-driven networking library on top of Boost.Asio

gcollections

Generic Rust Collection

trilean

Three-valued logics in Rust

chatroom

lol2D

absolute-demo

Demo and examples of the AbSolute constraint solver.

bonsai-model-checking

Model-checking using the Bonsai language

online-broker

checkdigit

Checkdigit validator/generator library aimed to be proposed in Boost

lab1-introduction-ocaml