InternetOfPins.github.io/index.html at master · InternetOfPins/InternetOfPins.github.io · 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
<!DOCTYPE html>
<html>
	<head>
		<title>IOP - Internet of Pins</title>
    <!-- link to main stylesheet -->
    <link href="https://fonts.googleapis.com/css?family=Audiowide|Iceland" rel="stylesheet">
		<link rel="stylesheet" type="text/css" href="/css/main.css">	</head>
	<body>
    <!--nav>
    		<ul>
        		<li><a href="/">Home</a></li>
	        	<li><a href="/OneBit">OneBit</a></li>
        		<li><a href="/OnePin">OnePin</a></li>
        		<li><a href="/OneLib">OneLib</a></li>
    		</ul>
		</nav-->
    <div class="container">
    		<div class="blurb">
          <h1>Internet of Pins</h1>

          <b>This project is in early development and should only be used by contributing developers. Expect substantial changes to the libraries as it evolves. Contributions, ideas and PRs are very welcome.</b>

          <ul>
          <li>OneBit - bit grouping atomic operations at type level</li>
          <li>OnePin - generalise Pin operation at type level</li>
          <li>OneLib - use pin generalization from virtual class</li>
          </ul>
        </div><!-- /.blurb -->
		</div><!-- /.container -->
		<footer>
    		<ul>
        		<li><a href="mailto:ruihfazevedo@gmail.com">email</a></li>
        		<li><a href="http://r-site.net">r-site.net</a></li>
			</ul>
		</footer>
	</body>
</html>