ptal/ntcc
Nondeterministic Temporal Concurrent Constraint language
Developer Profile
ptal
Discovered public repositories for ptal in the GitHub catalog.
ptal/DigitalSelf
Public repository.
ptal/people-link
Extract data from mails and draw a graph of the link between you and the people you know.
ptal/rust-ctfe-proposal
Compile-time function evaluation (CTFE) proposal for the Rust language.
ptal/endian
Proposed Boost Endian library
ptal/neev
Event-driven networking library on top of Boost.Asio
ptal/Scheme-in-Python
Continuation passing style Scheme interpreter written in Python.
ptal/mpri13
ML type inference in presence of type classes
ptal/online-broker
Public repository.
ptal/nominal-workbench
A prototype tool for experimenting nominal rewrite systems
ptal/sash2
A school project adding some features to the stand-alone shell (sash) from David Bell.
ptal/std-expected-proposal
Proposal for the expected class.
ptal/expected
What did you expect?