Initial setup for hugo

Author: Nafees10

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "themes/hextra"]
+	path = themes/hextra
+	url = https://github.com/imfing/hextra

.hugo_build.lock

@@ -0,0 +1,5 @@
++++
+date = '{{ .Date }}'
+draft = true
+title = '{{ replace .File.ContentBaseName "-" " " | title }}'
++++

LICENSE

@@ -0,0 +1,7 @@
++++
+date = '2025-02-08T18:25:19+05:00'
+draft = false
+title = 'Alis Language'
+toc = false
++++
+// TODO write Alis home page

archetypes/.gitkeep

@@ -0,0 +1,6 @@
++++
+date = '2025-02-08T18:38:22+05:00'
+draft = false
+title = 'About Alis'
++++
+// TODO write About Alis

archetypes/default.md

@@ -0,0 +1,9 @@
++++
+date = '2025-02-08T18:41:47+05:00'
+draft = false
+title = 'Docs'
+linkTitle = 'Documentation'
+sidebar.open = true
++++
+This is Alis Documentation
+// TODO write Alis Documentation home page

assets/.gitkeep

@@ -0,0 +1,7 @@
++++
+date = '2025-02-08T18:44:16+05:00'
+draft = false
+title = 'Alis Language Specification'
++++
+This is Alis Specification
+// TODO write Alis Specification home page

content/_index.md

@@ -0,0 +1,6 @@
++++
+date = '2025-02-08T19:53:30+05:00'
+draft = false
+title = 'Alis ByteCode'
++++
+The Alis Virtual Machine executes ByteCode written in the Alis Byte Code (ABC) format. It can be written in either human readable text, or in a binary format.

content/about/_index.md

@@ -0,0 +1,78 @@
++++
+date = '2025-02-08T19:54:00+05:00'
+draft = false
+title = 'Alis Byte Code (Binary)'
++++
+This document describes how Alis stores bytecode in binary format. The version
+described in this document is the latest, see table below.
+
+The binary file contains these sections of bytecode in the this order:
+
+1. magic number
+2. version bytes
+3. magic number postfix
+4. metadata
+7. labels
+5. instruction & data
+
+## Magic Bytes
+
+This part is always 17 bytes.
+
+The first 7 bytes are to be:
+
+ASCII:
+```
+ALISBC-
+```
+
+hexadecimal:
+```
+41 4C 49 53 42 43 2D
+```
+These are followed by 2 bytes, which are used to identify version information.
+
+8 bytes after these bytes are ignored, these are the magic number postfix.
+
+### Version Identifying Bytes
+
+| Version number, ushort|	First Alis Version		|
+| --------------------- | --------------------- |
+| 		`0x0002`					| 		v0.0.0						|
+
+Since all integers are stored in little endian, `0x0001` will be stored as:
+`01 00`
+
+Byte combinations not present in table above are reserved for future versions.
+
+---
+
+## Metadata
+
+An 8 byte (64 bit) unsigned integer used to store number of bytes in metadata,
+followed by the metadata.
+
+---
+
+## Labels
+
+An 8 byte (64 bit) unsigned integer stores the number of labels. This is
+followed by the labels.
+
+A label is stored as:
+
+1. CodeIndex - fixed length, 8 bytes
+2. Name - variable length (`char` array).
+
+---
+
+## Instructions & Data
+
+An 8 byte (64 bit) unsigned integer stores the _number of bytes_ used for
+storing instruction codes and their data. Following bytes are the `code` part
+of the ByteCode.
+
+---
+
+**All integers are stored in little endian encoding**
+

content/docs/_index.md

@@ -0,0 +1,82 @@
++++
+date = '2025-02-08T19:53:37+05:00'
+draft = false
+title = 'Alis Byte Code (Text)'
++++
+## Statements
+
+A statement is a single line. A statement in Alis ByteCode can be:
+
+* Empty or whitespace
+* Label
+* Instruction + optional args
+* Label + Instruction + optional args
+
+## Instructions
+
+Instructions are written as instructionName followed by any argument(s),
+separeted by whitespace. The instructionName is case sensitive.
+
+```
+instructionName		argument		argument
+```
+
+## Labels
+
+Label names are case sensitive as well.
+
+```
+SomeLabel:
+			SomeInstruction
+			MoreInstructions
+OtherLabel: AnotherInstruction		withSomeArg		andAnotherArg		# comment
+			Jump SomeLabel
+```
+
+## Whitespace
+
+Whitespace can be either tab(s) or space(s), and is ignored.
+At least 1 character of whitespace is necessary between labels, instruction
+names, and arguments.
+
+## Instruction Arguments
+
+An instruction can have any number of arguments. These can be of following
+types:
+
+* Integer - signed integer (`ptrdiff_t`)
+* Double - a float
+* Boolean - true (a non zero ubyte), or false (0)
+* String - a string, enclosed between `"`
+* Label - position in code. Written as `@LabelName`.
+
+### Strings
+
+These are written like: `"someString"`.
+
+The back-slash character can be used to include characters like `"` or tab by
+doing: `"tab: \t, quotationMark: \""`
+
+### Characters
+
+These are written like: `'c'`.
+
+### Hexadecimal Integer
+
+These are read as of type Integer, and are written like: `0xFFF`, where `FFF`
+is the number.
+
+### Binary Integer
+
+Integer can be written in binary as: `0b1111`, where `1111` is the number.
+
+## Comments
+
+Anything following a `#` (including the `#`) are considered comments and are
+ignored:
+
+```
+	#comment
+	someInstruction someArgument # this is a comment
+```
+

content/docs/spec/_index.md

@@ -0,0 +1,122 @@
++++
+date = '2025-02-08T18:47:28+05:00'
+draft = false
+title = 'Alis Grammar'
++++
+```ebnf
+(* Note: the `.` special token is used to represent any non-newline character*)
+whitespace = {space | "\t" | "\n"}-;
+singleLineComment = "//", {? . ?}-, ? newline ?;
+multiLineComment = "/*", {? . ?}-, "*/";
+identifier = ("_" | alphabet), {"_" | alphabet | decimalDigit};
+shebang = "#!", {? . ?}, ? newline ?;
+
+integerDecimal = ["-"], {decimalDigit}-;
+integerBinary = "0", ("b" | "B"), {"0" | "1"}-;
+integerHex = "0", ("x" | "X"), {hexadecimalDigit}-;
+integerScientific = (integerDecimal | literalFloat), "e", integerDecimal;
+literalInt = integerDecimal | integerBinary | integerHex | integerScientific;
+
+literalFloat = ["-"], {decimalDigit}-, ".", {decimalDigit}-;
+literalString = ('"', {? . ? | '\"'}, '"') |
+				('"""', ? newline ?, {? . ? | '\"' | ? newline ?}, ? newline ?, '"""');
+literalChar = "'", (("\", ? . ?) | ? . ? | ("\", "'")), "'";
+literalBool = "true" | "false";
+
+literalArray = "[", [{expr, ","}, expr], "]";
+
+def = ["ipub" | "pub"], {attribute},
+		 (fnDef | fnDef | globVarDef | structDef | unionDef | enumDef |
+			aliasDef | templateDef | import);
+
+test = "utest", [literalString], statement;
+
+moduleIdentifier = {identifier, "."}, identifier;
+import = {moduleIdentifier, ["as", identifier], ","},
+			 moduleIdentifier, ["as", identifier], ";";
+
+statement = [cComp], ((expr | localVarDef | "break" | "continue"), ";" |
+					block, [";"] | if | for | while | doWhile | switch | mixinInit, ";");
+block = "{", {statement}, "}";
+if = "if", smExpr, statement, ["else", statement];
+for = "for", "(", [identifier, ";"], expr, identifier, ";", expr, ")", statement;
+while = "while", smExpr, statement;
+doWhile = "do", statement, "while", smExpr, ";";
+switch = "switch", smExpr, {"case", smExpr, block}, "case", "_", block;
+mixinInit = "mixin", smExpr, "(", [{expr, ","}, expr], ")";
+
+staticIf = "$if", smExpr, anyBlock, ["else", anyBlock];
+staticFor = "$for", "(", [identifier, ";"], expr, identifier, ";", expr, ")",
+					anyBlock;
+staticSwitch = "$switch", smExpr, {"case", smExpr, anyBlock},
+						 "case", "_", anyBlock;
+cComp = {staticIf | staticFor | staticSwitch}-;
+
+attribute = "#", smExpr;
+
+tmParamList = "$(", [{tmParam, ","}, tmParam], ")", ["if", smExpr];
+tmParam = ("$type", identifier | ("alias", identifier) | (smExpr, identifier)),
+				[":", smExpr];
+
+keyVal = identifier, "=", expr;
+keyOptVal = identifier, ["=", expr];
+
+fnDef = "fn", identifier, [tmParamList], paramList, "->",
+			(smExpr, block | smExpr, ";");
+methodDef = "fn", "[", smExpr, "]", identifier, [tmParamList], paramList, "->",
+					(smExpr, block | smExpr, ";");
+paramList = param | ("(", [{param, ","}, param], ")");
+param = ([smExpr], keyOptVal) | smExpr;
+fnAnon = "fn", paramList, "->", expr;
+
+globVarDef = ("var" | "const"), smExpr, {keyOptVal, ","}, keyOptVal, ";";
+localVarDef = ("var" | "const"), {attribute}, ["static"], smExpr,
+							{keyOptVal, ","}, keyOptVal, ";";
+
+aggMember = ["pub" | "ipub"], {attribute},
+					(smExpr, [{keyOptVal, ","}, keyOptVal] |
+					 "alias", identifier, "=", identifier), ";";
+structDef = "struct", identifier, [tmParamList], "{",
+					 {cComp | aggMember | mixinInit, ";"},
+					 "}";
+structExpr = "struct", "{", {cComp | aggMember | mixinInit, ";"}, "}";
+structValExpr = "{", {cComp | keyVal | mixinInit, ";"}, "}";
+unionDef = "union", identifier, [tmParamList], "{",
+					{cComp | aggMember | mixinInit, ";"},
+					"}";
+unionExpr = "union", "{", {cComp | aggMember | mixinInit, ";"}, "}";
+enumDef = "enum", smExpr, identifier, [tmParamList], ("=", expr, ";" |
+		"{",
+		{(cComp | keyOptVal | mixinInit), ","},
+		[(cComp | keyOptVal | mixinInit)],
+		"}"
+		);
+
+aliasDef = "alias", identifier, "=", expr, ";";
+
+anyBlock = "{", {? . ? | anyBlock} ,"}";
+
+templateDef = "template", ["mixin"], tmParamList, anyBlock;
+
+intrinsic = "$", identifier, ["(", [{expr, ","}, expr], ")"];
+
+expr = smExpr, [block];
+smExpr = ("(", {expr, ","}, expr, ")") | intrinsic |
+			 literalInt | literalChar | literalBool | literalFloat |
+			 literalString | fnAnon | structExpr | unionExpr | structValExpr |
+			 literalArray | ("const", smExpr) |
+			 (opPre, expr) | (expr, opPost) | (expr, opBin, expr) |
+			 (expr, "(", [{expr, ","}, expr], ")") |
+			 (expr, "[", [{expr, ","}, expr], "]");
+
+opBin = "." | "??" | "!! "| "is" | "!is" | "*" | "/" | "%" | "+" | "-" | "<<" |
+			">>" | "&" | "|" | "^" | ":" | "==" | "!=" | ">=" | "<=" | ">" | "<" |
+			"&&" | "||" | "=" | "+=" | "-=" | "*=" | "/=" | "%=" |
+			"&=" | "|=" | "^=" | "@=";
+
+opPre = "@" | "is" | "!is" | "!" | "++" | "--" | "~";
+
+opPost = "@" | "!" | "?" | "++" | "--" | "...";
+
+module = [shebang], {def | test | mixinInit, ";"};
+```