ptal/std-expected-proposal ptal/std-expected-proposal

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    TeX
  • Created about 11 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ptal/std-expected-proposal
github

ptal

Reviews

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

Repository Details

Proposal for the expected class.

More Repositories

1

oak

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

expected

What did you expect?
C++
113
star
3

pcp

Constraint programming in Rust
Rust
101
star
4

intervallum

Integer interval arithmetic library
Rust
17
star
5

turbo

A constraint solver purely on GPUs (CUDA)
C++
16
star
6

bonsai

Programming language based on the synchronous and constraint paradigms
Java
15
star
7

AbSolute

Constraint solver based on abstract interpretation
OCaml
10
star
8

kobe-scheduling

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

neev

Event-driven networking library on top of Boost.Asio
C++
4
star
10

gcollections

Generic Rust Collection
Rust
2
star
11

trilean

Three-valued logics in Rust
Rust
2
star
12

chatroom

Java
1
star
13

lol2D

Java
1
star
14

bonsai-model-checking

Model-checking using the Bonsai language
Java
1
star
15

online-broker

JavaScript
1
star
16

checkdigit

Checkdigit validator/generator library aimed to be proposed in Boost
C++
1
star
17

lab1-introduction-ocaml

OCaml
1
star
18

absolute-demo

Demo and examples of the AbSolute constraint solver.
OCaml
1
star