quid2.org/index.html at master · Quid2/quid2.org · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
<!DOCTYPE html
  PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  <meta http-equiv="Content-Style-Type" content="text/css" />
  <meta name="generator" content="pandoc" />
  <meta name="author" content="Pasqualino `Titto' Assini (tittoassini@gmail.com)" />
  <title>Quid2</title>
  <style type="text/css">
    code {
      white-space: pre;
    }
  </style>
</head>

<body>
  <div id="header">
    <!-- <h1 class="title">Quid2</h1> -->
    <!--
                          <h2 class="author">Pasqualino `Titto' Assini (tittoassini@gmail.com)</h2>
                        -->
  </div>
  <h2 id="what-is-quid2">What is Quid2?</h2>
  <p>Quid2 is a general approach to the creation of open, evolvable, consistent and efficient distributed systems.</p>
  <p>It is a suite of mini-specifications for the definition and sharing of data type definitions and for type-oriented
    data exchange:
    <!--
[Top (Type Oriented Protocol)](docs/Top.pdf)
: Minimalist content-oriented transport protocol ([Specification](docs/Top.pdf),[Haskell Package](https://github.com/Quid2/top),(Typescript/Javascript Package)[])
-->
  </p>
  <dl>
    <dt><a href="docs/Top.pdf">Top (Type Oriented Protocol)</a></dt>
    <dd>Minimalist content-oriented transport protocol (<a href="https://github.com/Quid2/top">Haskell Package</a>)
    </dd>
    <dt><a href="docs/ZhengMing.pdf">ZM (正名 Zhèng Míng)</a></dt>
    <dd>Expressive data modelling language (<a href="https://github.com/Quid2/zm">Haskell Package</a>)
    </dd>
    <dt><a href="docs/Flat.pdf">Flat</a></dt>
    <dd>Principled and efficient binary data format (<a href="https://github.com/Quid2/flat">Haskell Package</a>)
    </dd>
  </dl>
  <p>A <a href="https://github.com/Quid2/ts">TypeScript/JavaScript implementation</a> is in the works and shall soon be
    publicly available.</p>
  <!--
It's available for both the most popular (Typescript/Javascript) and the coolest (Haskell) programming language.
-->
  <h2 id="get-in-touch">Get in Touch</h2>
  <p>Questions, ideas, suggestions?</p>
  <p>Send an email at <a href="mailto:tittoassini@gmail.com">tittoassini@gmail.com</a> or open an <em>Issue</em> on the
    relevant <a href="https://github.com/Quid2">Quid2</a> project.</p>
  <hr />Page updated: <class="date">11<sup>th</sup> of May 2019</class>
</body>

</html>