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

  • Stars
    star
    17
  • Rank 1,219,616 (Top 25 %)
  • Language
    TeX
  • Created over 10 years ago
  • Updated about 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
139
star
2

expected

What did you expect?
C++
113
star
3

pcp

Constraint programming in Rust
Rust
93
star
4

intervallum

Integer interval arithmetic library
Rust
14
star
5

bonsai

Programming language based on the synchronous and constraint paradigms
Java
14
star
6

AbSolute

Constraint solver based on abstract interpretation
OCaml
10
star
7

turbo

A constraint solver purely on GPUs (CUDA)
C++
10
star
8

kobe-scheduling

Data sets for the resource-constrained project scheduling problem (RCPSP)
JavaScript
8
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

absolute-demo

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

bonsai-model-checking

Model-checking using the Bonsai language
Java
1
star
16

online-broker

JavaScript
1
star
17

checkdigit

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

lab1-introduction-ocaml

OCaml
1
star