Popular repositories Loading

1. TAPL TAPL Public

   Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

   OCaml 31 7

2. p0433 p0433 Public

   Modify C++ library for template deduction for constructors

   C++ 2

3. CTAD_POST_CPP17 CTAD_POST_CPP17 Public

   Proposed Extension for Class Template Argument Deduction targeted after C++17

   HTML 2

4. hello-world hello-world Public

5. ostream_joiner ostream_joiner Public

   Refine the design of std::experimental::ostream_joiner

   HTML

6. Terse Terse Public

   Proposals around terse notation

   HTML