Skip to content

Commit

Permalink
Update on 2024-12-31 from miRoox-m4F2aE
Browse files Browse the repository at this point in the history
  • Loading branch information
miRoox committed Dec 31, 2024
1 parent e026715 commit 155ed36
Show file tree
Hide file tree
Showing 25 changed files with 251 additions and 12 deletions.
39 changes: 39 additions & 0 deletions tiddlers/GBNF示例:JSON.tid
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
created: 20241231115058126
creator: miRoox
modified: 20241231115925693
modifier: miRoox
tags: [[GGML BNF]]
title: GBNF示例:JSON
tmap.id: 215b2ddd-7dbd-4557-829a-94e95d76721b
type: text/vnd.tiddlywiki

[[JSON|?]]的语法用[[GBNF|GGML BNF]]表达的示例:


```gbnf
root ::= object
value ::= object | array | string | number | ("true" | "false" | "null") ws

object ::=
"{" ws (
string ":" ws value
("," ws string ":" ws value)*
)? "}" ws

array ::=
"[" ws (
value
("," ws value)*
)? "]" ws

string ::=
"\"" (
[^"\\\x7F\x00-\x1F] |
"\\" (["\\bfnrt] | "u" [0-9a-fA-F]{4}) # escapes
)* "\"" ws

number ::= ("-"? ([0-9] | [1-9] [0-9]{0,15})) ("." [0-9]+)? ([eE] [-+]? [0-9] [1-9]{0,15})? ws

# Optional space: by convention, applied in this grammar after literal chars when allowed
ws ::= | " " | "\n" [ \t]{0,20}
```
10 changes: 8 additions & 2 deletions tiddlers/GGML BNF.tid
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
aliases: GBNF
created: 20241222140958724
creator: miRoox
modified: 20241230124538621
modified: 20241231120259906
modifier: miRoox
tags: 巴科斯-诺尔范式 形式文法
tags: 巴科斯-诺尔范式 形式文法 领域特定语言
title: GGML BNF
tmap.id: e2abc66f-d990-4e54-9928-7e922450da3e
type: text/vnd.tiddlywiki
Expand Down Expand Up @@ -36,3 +36,9 @@ GGML BNF(GBNF)是一种用于约束[[llama.cpp]]中模型输出的[[形式
[[注释|计算机:注释]]:可以在行首使用`#`添加注释

在完整语法中,`root`对应规则始终定义文法的起点。换句话说,它指定整个输出必须匹配的内容。

!! 示例

!!! JSON

{{GBNF示例:JSON}}
6 changes: 4 additions & 2 deletions tiddlers/Markdown的HTML兼容性.tid
Original file line number Diff line number Diff line change
@@ -1,12 +1,14 @@
caption: 兼容HTML
created: 20191004091658432
modified: 20191004091749717
creator: miRoox
modified: 20241231114217148
modifier: miRoox
tags: Markdown
title: Markdown的HTML兼容性
tmap.id: 36f1cfdb-f7e4-4b8b-a352-d48b3c237b51
type: text/vnd.tiddlywiki

!! 兼容 [[HTML]]
!! 兼容 [[HTML|?]]

Markdown 语法的目标是:成为一种适用于网络的书写语言。

Expand Down
2 changes: 1 addition & 1 deletion tiddlers/Wolfram语言:Module.tid
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
caption: Module
created: 20190923090144140
creator: miRoox
modified: 20230316080522810
modified: 20241231111002454
modifier: miRoox
tags: Wolfram语言:作用域
title: Wolfram语言:Module
Expand Down
6 changes: 6 additions & 0 deletions tiddlers/highlight-bnf.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
/*! `bnf` grammar compiled for Highlight.js 11.4.0 */
(()=>{var e=(()=>{"use strict";return e=>({name:"Backus\u2013Naur Form",
contains:[{className:"attribute",begin:/</,end:/>/},{begin:/::=/,end:/$/,
contains:[{begin:/</,end:/>/
},e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,e.APOS_STRING_MODE,e.QUOTE_STRING_MODE]
}]})})();hljs.registerLanguage("bnf",e)})();
9 changes: 9 additions & 0 deletions tiddlers/highlight-bnf.js.meta
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
created: 20241231112305745
creator: miRoox
modified: 20241231113247322
modifier: miRoox
module-type: highlight
tags: $:/internal
title: highlight-bnf.js
tmap.id: 3c098a10-540e-4f08-b397-e17db234ec13
type: application/javascript
7 changes: 7 additions & 0 deletions tiddlers/highlight-brainfuck.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
/*! `brainfuck` grammar compiled for Highlight.js 11.4.0 */
(()=>{var e=(()=>{"use strict";return e=>{const n={className:"literal",
begin:/[+-]/,relevance:0};return{name:"Brainfuck",aliases:["bf"],
contains:[e.COMMENT("[^\\[\\]\\.,\\+\\-<> \r\n]","[\\[\\]\\.,\\+\\-<> \r\n]",{
returnEnd:!0,relevance:0}),{className:"title",begin:"[\\[\\]]",relevance:0},{
className:"string",begin:"[\\.,]",relevance:0},{begin:/(?:\+\+|--)/,contains:[n]
},n]}}})();hljs.registerLanguage("brainfuck",e)})();
9 changes: 9 additions & 0 deletions tiddlers/highlight-brainfuck.js.meta
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
created: 20241231114346615
creator: miRoox
modified: 20241231114412286
modifier: miRoox
module-type: highlight
tags: $:/internal
title: highlight-brainfuck.js
tmap.id: 23c2c57c-23b1-4f19-85da-4706af3162ca
type: application/javascript
12 changes: 12 additions & 0 deletions tiddlers/highlight-dos.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions tiddlers/highlight-dos.js.meta
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
created: 20241231113558407
creator: miRoox
modified: 20241231113614592
modifier: miRoox
module-type: highlight
tags: $:/internal
title: highlight-dos.js
tmap.id: 54c991e6-1ecd-4592-a813-01c37b4bb492
type: application/javascript
7 changes: 7 additions & 0 deletions tiddlers/highlight-ebnf.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
/*! `ebnf` grammar compiled for Highlight.js 11.4.0 */
(()=>{var e=(()=>{"use strict";return e=>{const a=e.COMMENT(/\(\*/,/\*\)/)
;return{name:"Extended Backus-Naur Form",illegal:/\S/,contains:[a,{
className:"attribute",begin:/^[ ]*[a-zA-Z]+([\s_-]+[a-zA-Z]+)*/},{begin:/=/,
end:/[.;]/,contains:[a,{className:"meta",begin:/\?.*\?/},{className:"string",
variants:[e.APOS_STRING_MODE,e.QUOTE_STRING_MODE,{begin:"`",end:"`"}]}]}]}}})()
;hljs.registerLanguage("ebnf",e)})();
9 changes: 9 additions & 0 deletions tiddlers/highlight-ebnf.js.meta
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
created: 20241231115249454
creator: miRoox
modified: 20241231115308790
modifier: miRoox
module-type: highlight
tags: $:/internal
title: highlight-ebnf.js
tmap.id: 4c12789c-7037-4ca2-8e82-10f1c8464b73
type: application/javascript
7 changes: 7 additions & 0 deletions tiddlers/highlight-gbnf.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
/*! `gbnf` based on `ebnf` grammar compiled for Highlight.js 11.4.0 */
(()=>{var e=(()=>{"use strict";return e=>{const a=e.COMMENT(/#/,"\n")
;return{name:"GGML Backus-Naur Form",illegal:/\S/,contains:[a,{
className:"attribute",begin:/^[ ]*[a-zA-Z]+([\s_-]+[a-zA-Z]+)*/},{begin:/=/,
end:/[.;]/,contains:[a,{className:"meta",begin:/\?.*\?/},{className:"string",
variants:[e.APOS_STRING_MODE,e.QUOTE_STRING_MODE,{begin:"`",end:"`"}]}]}]}}})()
;hljs.registerLanguage("gbnf",e)})();
9 changes: 9 additions & 0 deletions tiddlers/highlight-gbnf.js.meta
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
created: 20241231115812516
creator: miRoox
modified: 20241231120118445
modifier: miRoox
module-type: highlight
tags: $:/internal
title: highlight-gbnf.js
tmap.id: f971e1a6-f18f-4661-9085-2251ebd54abd
type: application/javascript
5 changes: 5 additions & 0 deletions tiddlers/highlight-julia-repl.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
/*! `julia-repl` grammar compiled for Highlight.js 11.4.0 */
(()=>{var a=(()=>{"use strict";return a=>({name:"Julia REPL",contains:[{
className:"meta",begin:/^julia>/,relevance:10,starts:{end:/^(?![ ]{6})/,
subLanguage:"julia"}}],aliases:["jldoctest"]})})()
;hljs.registerLanguage("julia-repl",a)})();
9 changes: 9 additions & 0 deletions tiddlers/highlight-julia-repl.js.meta
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
created: 20241231114550659
creator: miRoox
modified: 20241231114628206
modifier: miRoox
module-type: highlight
tags: $:/internal
title: highlight-julia-repl.js
tmap.id: da3da4e9-a22a-451c-9001-dde1377aa681
type: application/javascript
18 changes: 18 additions & 0 deletions tiddlers/highlight-julia.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions tiddlers/highlight-julia.js.meta
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
created: 20241231114521745
creator: miRoox
modified: 20241231114544180
modifier: miRoox
module-type: highlight
tags: $:/internal
title: highlight-julia.js
tmap.id: cffd7fac-8421-4b59-b82b-6328895d843c
type: application/javascript
21 changes: 21 additions & 0 deletions tiddlers/highlight-mathematica.js

Large diffs are not rendered by default.

9 changes: 9 additions & 0 deletions tiddlers/highlight-mathematica.js.meta
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
created: 20241231113406338
creator: miRoox
modified: 20241231113422916
modifier: miRoox
module-type: highlight
tags: $:/internal
title: highlight-mathematica.js
tmap.id: 26c5e394-29be-4de8-862a-6d89b9077c3e
type: application/javascript
29 changes: 29 additions & 0 deletions tiddlers/highlight-qml.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
/*! `qml` grammar compiled for Highlight.js 11.4.0 */
(()=>{var e=(()=>{"use strict";return e=>{
const n="[a-zA-Z_][a-zA-Z0-9\\._]*",r={className:"attribute",begin:"\\bid\\s*:",
starts:{className:"string",end:n,returnEnd:!1}},a={begin:n+"\\s*:",
returnBegin:!0,contains:[{className:"attribute",begin:n,end:"\\s*:",
excludeEnd:!0,relevance:0}],relevance:0},t={begin:e.regex.concat(n,/\s*\{/),
end:/\{/,returnBegin:!0,relevance:0,contains:[e.inherit(e.TITLE_MODE,{begin:n})]
};return{name:"QML",aliases:["qt"],case_insensitive:!1,keywords:{
keyword:"in of on if for while finally var new function do return void else break catch instanceof with throw case default try this switch continue typeof delete let yield const export super debugger as async await import",
literal:"true false null undefined NaN Infinity",
built_in:"eval isFinite isNaN parseFloat parseInt decodeURI decodeURIComponent encodeURI encodeURIComponent escape unescape Object Function Boolean Error EvalError InternalError RangeError ReferenceError StopIteration SyntaxError TypeError URIError Number Math Date String RegExp Array Float32Array Float64Array Int16Array Int32Array Int8Array Uint16Array Uint32Array Uint8Array Uint8ClampedArray ArrayBuffer DataView JSON Intl arguments require module console window document Symbol Set Map WeakSet WeakMap Proxy Reflect Behavior bool color coordinate date double enumeration font geocircle georectangle geoshape int list matrix4x4 parent point quaternion real rect size string url variant vector2d vector3d vector4d Promise"
},contains:[{className:"meta",begin:/^\s*['"]use (strict|asm)['"]/
},e.APOS_STRING_MODE,e.QUOTE_STRING_MODE,{className:"string",begin:"`",end:"`",
contains:[e.BACKSLASH_ESCAPE,{className:"subst",begin:"\\$\\{",end:"\\}"}]
},e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,{className:"number",variants:[{
begin:"\\b(0[bB][01]+)"},{begin:"\\b(0[oO][0-7]+)"},{begin:e.C_NUMBER_RE}],
relevance:0},{begin:"("+e.RE_STARTERS_RE+"|\\b(case|return|throw)\\b)\\s*",
keywords:"return throw case",
contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,e.REGEXP_MODE,{begin:/</,
end:/>\s*[);\]]/,relevance:0,subLanguage:"xml"}],relevance:0},{
className:"keyword",begin:"\\bsignal\\b",starts:{className:"string",
end:"(\\(|:|=|;|,|//|/\\*|$)",returnEnd:!0}},{className:"keyword",
begin:"\\bproperty\\b",starts:{className:"string",end:"(:|=|;|,|//|/\\*|$)",
returnEnd:!0}},{className:"function",beginKeywords:"function",end:/\{/,
excludeEnd:!0,contains:[e.inherit(e.TITLE_MODE,{begin:/[A-Za-z$_][0-9A-Za-z$_]*/
}),{className:"params",begin:/\(/,end:/\)/,excludeBegin:!0,excludeEnd:!0,
contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE]}],illegal:/\[|%/},{
begin:"\\."+e.IDENT_RE,relevance:0},r,a,t],illegal:/#/}}})()
;hljs.registerLanguage("qml",e)})();
9 changes: 9 additions & 0 deletions tiddlers/highlight-qml.js.meta
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
created: 20241231150345783
creator: miRoox
modified: 20241231150407576
modifier: miRoox
module-type: highlight
tags: $:/internal
title: highlight-qml.js
tmap.id: a19de668-6707-4a37-9e5f-2a38d5392c7a
type: application/javascript
2 changes: 1 addition & 1 deletion tiddlers/runas.exe.tid
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
aliases: runas
created: 20241230145057039
creator: miRoox
modified: 20241230145925486
modified: 20241231113929971
modifier: miRoox
tags: 命令行程序 cmd.exe
title: runas.exe
Expand Down
5 changes: 2 additions & 3 deletions tiddlers/takeown.exe.tid
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
created: 20241230152545060
creator: miRoox
modified: 20241230153003944
modified: 20241231113947227
modifier: miRoox
tags: cmd.exe 命令行程序
title: takeown.exe
Expand All @@ -21,7 +21,7 @@ TAKEOWN [/S system [/U username [/P [password]]]]
* `/S system` 指定要连接到的远程系统。
* `/U [domain\]use`r 指定用户上下文,命令在此上下文中执行。
* `/P [password]` 指定给定用户上下文的密码。如果省略,提示输入。
* `/F filename` 指定文件名或目录名模式。可以用通配符 "*"指定模式。允许共享名\文件名。
* `/F filename` 指定文件名或目录名模式。可以用通配符 `"*"`指定模式。允许共享名\文件名。
* `/A` 将所有权给于管理员组,而不是当前用户。
* `/R` 递归: 指示工具运行于指定的目录和子目录里的文件上。
* `/D prompt` 当前用户在一个目录里没有“列出文件夹”权限时,使用默认答案。当在子目录里进行递归 (/R) 操作时会发生这种情况。用有效值 "Y" 获取所有权或用 "N" 跳过。
Expand Down Expand Up @@ -52,4 +52,3 @@ TAKEOWN /S system /U user /P password /F Myshare\*
TAKEOWN /S system /U user /P password /F Home\Logon /R
TAKEOWN /S system /U user /P password /F Myshare\directory /R /A
```

6 changes: 3 additions & 3 deletions tiddlers/where.exe.tid
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
aliases: where
created: 20241230150650140
creator: miRoox
modified: 20241230152026355
modified: 20241231113847576
modifier: miRoox
tags: cmd.exe 命令行程序
title: where.exe
tmap.id: 100be7b5-a9fb-46ba-86a2-bd8f4db6a229
type: text/vnd.tiddlywiki

```bat
```dos
WHERE [/R dir] [/Q] [/F] [/T] pattern...
```

Expand All @@ -29,7 +29,7 @@ WHERE [/R dir] [/Q] [/F] [/T] pattern...

!! 示例:

```bat
```dos
WHERE /?
WHERE myfilename1 myfile????.*
WHERE $windir:*.*
Expand Down

0 comments on commit 155ed36

Please sign in to comment.