Discover @ptal Open Source projects

Pierre Talbot (@ptal)

ptal

Stars
461
Global Rank 62,055 (Top 3 %)
Followers 59
Following 43
Registered almost 12 years ago
Most used languages

Rust
26.3 %

C++
21.1 %

Java
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
23

JavaScript
64

oak

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

expected

What did you expect?

pcp

Constraint programming in Rust

intervallum

Integer interval arithmetic library

std-expected-proposal

Proposal for the expected class.

turbo

A constraint solver purely on GPUs (CUDA)

bonsai

Programming language based on the synchronous and constraint paradigms

AbSolute

Constraint solver based on abstract interpretation

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

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

absolute-demo

Demo and examples of the AbSolute constraint solver.