ptal/neev

Stars
4
Rank 3,284,969 (Top 66 %)
Language
C++
License
Boost Software Li...
Created over 10 years ago
Updated about 10 years ago

ptal/neev

ptal

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Event-driven networking library on top of Boost.Asio

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)

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