Skip to content

Commit e7f7b5c

Browse files
5HT5HT
committed
init
0 parents  commit e7f7b5c

File tree

184 files changed

+17449
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

184 files changed

+17449
-0
lines changed

‎.gitattributes

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
*.css linguist-detectable=false
2+
*.scss linguist-detectable=false
3+
*.js linguist-detectable=false
4+
*.html linguist-detectable=false
5+
*.sh linguist-detectable=false

‎.gitignore

+10
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
node_modules/*
2+
package-lock.json
3+
header.html
4+
footer.html
5+
*.aux
6+
*.bbl
7+
*.blg
8+
*.log
9+
*.out
10+
*.toc

‎5HT.css

+39
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
pre { padding:4px;white-space:pre;background-color:#F1F1F1;font-family:monospace;font-size:14pt;}
2+
code { margin-left: -4px;padding:4px;white-space:pre;font-family:monospace;font-size:14pt;}
3+
body { font-family: local; font-size: 16pt; color: #444; }
4+
img { margin: 20px; }
5+
sup { font-size: 10pt; font-weight: bold; }
6+
h1 { font-size: 34pt; }
7+
h2 { font-size: 24pt; margin-top: 40px; }
8+
h3 { margin-top: 40px; }
9+
h4 { margin-top: 40px; }
10+
h5 { margin-top: -20px; }
11+
p { margin-top: 10px; }
12+
sup, sub {
13+
vertical-align: baseline;
14+
position: relative;
15+
top: -0.4em;
16+
}
17+
sub { top: 0.4em; }
18+
.note { margin-top: 0px; }
19+
.note p { margin-top: 20px; }
20+
.sel { padding-left:4px;padding-right:4px;background:#EEE; }
21+
.menu { text-align: right;}
22+
a { margin-top: 10px; padding: 0px; }
23+
.app { margin:100px auto;min-width:300px;max-width:1000px; text-align: center; }
24+
.message { align: center; }
25+
.note { margin-left:0px;margin-top:0px;background-color:#F1F1F1;padding:4px 10px 4px 24px;color:gray;}
26+
ul {margin-left:70px;}
27+
28+
a { color: blue; text-decoration: none }
29+
a:hover { color:blue; }
30+
a:hover, a:active { outline: 0 }
31+
32+
@font-face {
33+
font-family: 'local';
34+
src: url('Geometria-Light.otf');
35+
font-weight: normal;
36+
font-style: normal
37+
}
38+
.block { margin-top: -50px; min-width:200px; float: left; background-color: transparent; text-align: left; }
39+
.wrapper { min-width: 1200px; vertical-align: top; }

‎CNAME

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
groupoid.space

‎Geometria-Light.otf

129 KB
Binary file not shown.

‎LICENSE

+31
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
DHARMA License
2+
3+
Copyright (c) 2016—2022 Groupoid Infinity
4+
5+
Permission to use, copy, modify, and/or distribute this software for any
6+
purpose with or without fee is hereby granted, provided that the above
7+
copyright notice and this permission notice appear in all copies.
8+
9+
YOU CANNOT USE THIS SOFTWARE IN ANY (PROVABLE BY MONEY TRACE)
10+
PROCESS CHAIN OF EXTERMINATING UKRAINIANS BY ANY MEANS OF FASCIST
11+
ACTIONS AGAINST OUR TERRITORIAL INTEGRITY, CULTURAL DIVERSITY BY
12+
APPLYING MILITARY INVASIONS, ECONOMICAL WARS, HUMANITARIAN DISASTERS,
13+
ARTFICIAL HOLODOMORS, GENOCIDE, RAPING, LOOTING, ROBBERIES, SPREADING
14+
FAKE INFORMATION, AND OTHER CONTEMPORARY WEAPONS OF WAR AT SCALE
15+
OR IN INVIDIVUAL MANNER.
16+
17+
YOU CANNOT USE THIS SOFTWARE BY ANY MEANS IN INTEREST OF LEGAL
18+
ENTITIES OR INDIVIDUALS WHO IS SUPPORTING NOW OR WAS SUPPORTING
19+
BACK THEN FASCISM, RUSCISM, COMMUNISM, CHOVINISM, HUMILIATION,
20+
AND OTHER SUPPRESSIVE IDEOLOGIES IN DIFFERENT EXPRESSIONS.
21+
22+
STOP KILLING UKRAINIANS,
23+
THE COUNTER RENDERS TENS OF MILLIONS.
24+
25+
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
26+
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
27+
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
28+
ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
29+
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
30+
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
31+
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

‎README.md

+24
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
# Groupoid Infinity
2+
3+
Groupoid Infinity is building integrated environment for mathematician:
4+
5+
* ANT — Publishing environment a la ТеХ
6+
* CAS — Computable and Symbolic Mathematics a la Wolfram Mathematica
7+
* NOTE — Notebook Interface a la Jupyter
8+
* RUN — Runtime Interpreter and Virtual Machines
9+
* VERIFY — Theorem Prover a la Lean/Agda
10+
11+
## RUN: Virtual Machines and Runtime Languages
12+
13+
* APL — persistent tensor array processing runtime (get, put, fold)
14+
* CPS — fast certified L1 lambda CPS interpreter as runtime (fun, app)
15+
* EFF — effect type system for (in)finite I/O (getString, putString, pure)
16+
* PRO — intercore protocol for process calculus (spawn, send, recv)
17+
* N2O — app frameworks: MNESIA, BPE, N2O, KVS, NITRO
18+
19+
## VERIFY: Verification Languages
20+
21+
* STLC — Simply Typed Lambda Calculus
22+
* PTS — Pure Type System for encodings exploration
23+
* HTS — Modal CCHM Homotopy Type System for math modeling
24+
* HoTT-I — Arend-like core

‎SECURITY.md

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
# Security Policy

0 commit comments

Comments
 (0)