research-copilot 0.1.0

package/app/out/renderer/assets/mirc-Dma3B8rS.js

@@ -0,0 +1,107 @@
+function parseWords(str) {
+  var obj = {}, words = str.split(" ");
+  for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
+  return obj;
+}
+var specials = parseWords("$! $$ $& $? $+ $abook $abs $active $activecid $activewid $address $addtok $agent $agentname $agentstat $agentver $alias $and $anick $ansi2mirc $aop $appactive $appstate $asc $asctime $asin $atan $avoice $away $awaymsg $awaytime $banmask $base $bfind $binoff $biton $bnick $bvar $bytes $calc $cb $cd $ceil $chan $chanmodes $chantypes $chat $chr $cid $clevel $click $cmdbox $cmdline $cnick $color $com $comcall $comchan $comerr $compact $compress $comval $cos $count $cr $crc $creq $crlf $ctime $ctimer $ctrlenter $date $day $daylight $dbuh $dbuw $dccignore $dccport $dde $ddename $debug $decode $decompress $deltok $devent $dialog $did $didreg $didtok $didwm $disk $dlevel $dll $dllcall $dname $dns $duration $ebeeps $editbox $emailaddr $encode $error $eval $event $exist $feof $ferr $fgetc $file $filename $filtered $finddir $finddirn $findfile $findfilen $findtok $fline $floor $fopen $fread $fserve $fulladdress $fulldate $fullname $fullscreen $get $getdir $getdot $gettok $gmt $group $halted $hash $height $hfind $hget $highlight $hnick $hotline $hotlinepos $ial $ialchan $ibl $idle $iel $ifmatch $ignore $iif $iil $inelipse $ini $inmidi $inpaste $inpoly $input $inrect $inroundrect $insong $instok $int $inwave $ip $isalias $isbit $isdde $isdir $isfile $isid $islower $istok $isupper $keychar $keyrpt $keyval $knick $lactive $lactivecid $lactivewid $left $len $level $lf $line $lines $link $lock $lock $locked $log $logstamp $logstampfmt $longfn $longip $lower $ltimer $maddress $mask $matchkey $matchtok $md5 $me $menu $menubar $menucontext $menutype $mid $middir $mircdir $mircexe $mircini $mklogfn $mnick $mode $modefirst $modelast $modespl $mouse $msfile $network $newnick $nick $nofile $nopath $noqt $not $notags $notify $null $numeric $numok $oline $onpoly $opnick $or $ord $os $passivedcc $pic $play $pnick $port $portable $portfree $pos $prefix $prop $protect $puttok $qt $query $rand $r $rawmsg $read $readomo $readn $regex $regml $regsub $regsubex $remove $remtok $replace $replacex $reptok $result $rgb $right $round $scid $scon $script $scriptdir $scriptline $sdir $send $server $serverip $sfile $sha1 $shortfn $show $signal $sin $site $sline $snick $snicks $snotify $sock $sockbr $sockerr $sockname $sorttok $sound $sqrt $ssl $sreq $sslready $status $strip $str $stripped $syle $submenu $switchbar $tan $target $ticks $time $timer $timestamp $timestampfmt $timezone $tip $titlebar $toolbar $treebar $trust $ulevel $ulist $upper $uptime $url $usermode $v1 $v2 $var $vcmd $vcmdstat $vcmdver $version $vnick $vol $wid $width $wildsite $wildtok $window $wrap $xor");
+var keywords = parseWords("abook ajinvite alias aline ame amsg anick aop auser autojoin avoice away background ban bcopy beep bread break breplace bset btrunc bunset bwrite channel clear clearall cline clipboard close cnick color comclose comopen comreg continue copy creq ctcpreply ctcps dcc dccserver dde ddeserver debug dec describe dialog did didtok disable disconnect dlevel dline dll dns dqwindow drawcopy drawdot drawfill drawline drawpic drawrect drawreplace drawrot drawsave drawscroll drawtext ebeeps echo editbox emailaddr enable events exit fclose filter findtext finger firewall flash flist flood flush flushini font fopen fseek fsend fserve fullname fwrite ghide gload gmove gopts goto gplay gpoint gqreq groups gshow gsize gstop gtalk gunload hadd halt haltdef hdec hdel help hfree hinc hload hmake hop hsave ial ialclear ialmark identd if ignore iline inc invite iuser join kick linesep links list load loadbuf localinfo log mdi me menubar mkdir mnick mode msg nick noop notice notify omsg onotice part partall pdcc perform play playctrl pop protect pvoice qme qmsg query queryn quit raw reload remini remote remove rename renwin reseterror resetidle return rlevel rline rmdir run ruser save savebuf saveini say scid scon server set showmirc signam sline sockaccept sockclose socklist socklisten sockmark sockopen sockpause sockread sockrename sockudp sockwrite sound speak splay sreq strip switchbar timer timestamp titlebar tnick tokenize toolbar topic tray treebar ulist unload unset unsetall updatenl url uwho var vcadd vcmd vcrem vol while whois window winhelp write writeint if isalnum isalpha isaop isavoice isban ischan ishop isignore isin isincs isletter islower isnotify isnum ison isop isprotect isreg isupper isvoice iswm iswmcs elseif else goto menu nicklist status title icon size option text edit button check radio box scroll list combo link tab item");
+var functions = parseWords("if elseif else and not or eq ne in ni for foreach while switch");
+var isOperatorChar = /[+\-*&%=<>!?^\/\|]/;
+function chain(stream, state, f) {
+  state.tokenize = f;
+  return f(stream, state);
+}
+function tokenBase(stream, state) {
+  var beforeParams = state.beforeParams;
+  state.beforeParams = false;
+  var ch = stream.next();
+  if (/[\[\]{}\(\),\.]/.test(ch)) {
+    if (ch == "(" && beforeParams) state.inParams = true;
+    else if (ch == ")") state.inParams = false;
+    return null;
+  } else if (/\d/.test(ch)) {
+    stream.eatWhile(/[\w\.]/);
+    return "number";
+  } else if (ch == "\\") {
+    stream.eat("\\");
+    stream.eat(/./);
+    return "number";
+  } else if (ch == "/" && stream.eat("*")) {
+    return chain(stream, state, tokenComment);
+  } else if (ch == ";" && stream.match(/ *\( *\(/)) {
+    return chain(stream, state, tokenUnparsed);
+  } else if (ch == ";" && !state.inParams) {
+    stream.skipToEnd();
+    return "comment";
+  } else if (ch == '"') {
+    stream.eat(/"/);
+    return "keyword";
+  } else if (ch == "$") {
+    stream.eatWhile(/[$_a-z0-9A-Z\.:]/);
+    if (specials && specials.propertyIsEnumerable(stream.current().toLowerCase())) {
+      return "keyword";
+    } else {
+      state.beforeParams = true;
+      return "builtin";
+    }
+  } else if (ch == "%") {
+    stream.eatWhile(/[^,\s()]/);
+    state.beforeParams = true;
+    return "string";
+  } else if (isOperatorChar.test(ch)) {
+    stream.eatWhile(isOperatorChar);
+    return "operator";
+  } else {
+    stream.eatWhile(/[\w\$_{}]/);
+    var word = stream.current().toLowerCase();
+    if (keywords && keywords.propertyIsEnumerable(word))
+      return "keyword";
+    if (functions && functions.propertyIsEnumerable(word)) {
+      state.beforeParams = true;
+      return "keyword";
+    }
+    return null;
+  }
+}
+function tokenComment(stream, state) {
+  var maybeEnd = false, ch;
+  while (ch = stream.next()) {
+    if (ch == "/" && maybeEnd) {
+      state.tokenize = tokenBase;
+      break;
+    }
+    maybeEnd = ch == "*";
+  }
+  return "comment";
+}
+function tokenUnparsed(stream, state) {
+  var maybeEnd = 0, ch;
+  while (ch = stream.next()) {
+    if (ch == ";" && maybeEnd == 2) {
+      state.tokenize = tokenBase;
+      break;
+    }
+    if (ch == ")")
+      maybeEnd++;
+    else if (ch != " ")
+      maybeEnd = 0;
+  }
+  return "meta";
+}
+const mirc = {
+  name: "mirc",
+  startState: function() {
+    return {
+      tokenize: tokenBase,
+      beforeParams: false,
+      inParams: false
+    };
+  },
+  token: function(stream, state) {
+    if (stream.eatSpace()) return null;
+    return state.tokenize(stream, state);
+  }
+};
+export {
+  mirc
+};

package/app/out/renderer/assets/mllike-DHn7xckP.js

@@ -0,0 +1,334 @@
+function mlLike(parserConfig) {
+  var words = {
+    "as": "keyword",
+    "do": "keyword",
+    "else": "keyword",
+    "end": "keyword",
+    "exception": "keyword",
+    "fun": "keyword",
+    "functor": "keyword",
+    "if": "keyword",
+    "in": "keyword",
+    "include": "keyword",
+    "let": "keyword",
+    "of": "keyword",
+    "open": "keyword",
+    "rec": "keyword",
+    "struct": "keyword",
+    "then": "keyword",
+    "type": "keyword",
+    "val": "keyword",
+    "while": "keyword",
+    "with": "keyword"
+  };
+  var extraWords = parserConfig.extraWords || {};
+  for (var prop in extraWords) {
+    if (extraWords.hasOwnProperty(prop)) {
+      words[prop] = parserConfig.extraWords[prop];
+    }
+  }
+  var hintWords = [];
+  for (var k in words) {
+    hintWords.push(k);
+  }
+  function tokenBase(stream, state) {
+    var ch = stream.next();
+    if (ch === '"') {
+      state.tokenize = tokenString;
+      return state.tokenize(stream, state);
+    }
+    if (ch === "{") {
+      if (stream.eat("|")) {
+        state.longString = true;
+        state.tokenize = tokenLongString;
+        return state.tokenize(stream, state);
+      }
+    }
+    if (ch === "(") {
+      if (stream.match(/^\*(?!\))/)) {
+        state.commentLevel++;
+        state.tokenize = tokenComment;
+        return state.tokenize(stream, state);
+      }
+    }
+    if (ch === "~" || ch === "?") {
+      stream.eatWhile(/\w/);
+      return "variableName.special";
+    }
+    if (ch === "`") {
+      stream.eatWhile(/\w/);
+      return "quote";
+    }
+    if (ch === "/" && parserConfig.slashComments && stream.eat("/")) {
+      stream.skipToEnd();
+      return "comment";
+    }
+    if (/\d/.test(ch)) {
+      if (ch === "0" && stream.eat(/[bB]/)) {
+        stream.eatWhile(/[01]/);
+      }
+      if (ch === "0" && stream.eat(/[xX]/)) {
+        stream.eatWhile(/[0-9a-fA-F]/);
+      }
+      if (ch === "0" && stream.eat(/[oO]/)) {
+        stream.eatWhile(/[0-7]/);
+      } else {
+        stream.eatWhile(/[\d_]/);
+        if (stream.eat(".")) {
+          stream.eatWhile(/[\d]/);
+        }
+        if (stream.eat(/[eE]/)) {
+          stream.eatWhile(/[\d\-+]/);
+        }
+      }
+      return "number";
+    }
+    if (/[+\-*&%=<>!?|@\.~:]/.test(ch)) {
+      return "operator";
+    }
+    if (/[\w\xa1-\uffff]/.test(ch)) {
+      stream.eatWhile(/[\w\xa1-\uffff]/);
+      var cur = stream.current();
+      return words.hasOwnProperty(cur) ? words[cur] : "variable";
+    }
+    return null;
+  }
+  function tokenString(stream, state) {
+    var next, end = false, escaped = false;
+    while ((next = stream.next()) != null) {
+      if (next === '"' && !escaped) {
+        end = true;
+        break;
+      }
+      escaped = !escaped && next === "\\";
+    }
+    if (end && !escaped) {
+      state.tokenize = tokenBase;
+    }
+    return "string";
+  }
+  function tokenComment(stream, state) {
+    var prev, next;
+    while (state.commentLevel > 0 && (next = stream.next()) != null) {
+      if (prev === "(" && next === "*") state.commentLevel++;
+      if (prev === "*" && next === ")") state.commentLevel--;
+      prev = next;
+    }
+    if (state.commentLevel <= 0) {
+      state.tokenize = tokenBase;
+    }
+    return "comment";
+  }
+  function tokenLongString(stream, state) {
+    var prev, next;
+    while (state.longString && (next = stream.next()) != null) {
+      if (prev === "|" && next === "}") state.longString = false;
+      prev = next;
+    }
+    if (!state.longString) {
+      state.tokenize = tokenBase;
+    }
+    return "string";
+  }
+  return {
+    startState: function() {
+      return { tokenize: tokenBase, commentLevel: 0, longString: false };
+    },
+    token: function(stream, state) {
+      if (stream.eatSpace()) return null;
+      return state.tokenize(stream, state);
+    },
+    languageData: {
+      autocomplete: hintWords,
+      commentTokens: {
+        line: parserConfig.slashComments ? "//" : void 0,
+        block: { open: "(*", close: "*)" }
+      }
+    }
+  };
+}
+const oCaml = mlLike({
+  extraWords: {
+    "and": "keyword",
+    "assert": "keyword",
+    "begin": "keyword",
+    "class": "keyword",
+    "constraint": "keyword",
+    "done": "keyword",
+    "downto": "keyword",
+    "external": "keyword",
+    "function": "keyword",
+    "initializer": "keyword",
+    "lazy": "keyword",
+    "match": "keyword",
+    "method": "keyword",
+    "module": "keyword",
+    "mutable": "keyword",
+    "new": "keyword",
+    "nonrec": "keyword",
+    "object": "keyword",
+    "private": "keyword",
+    "sig": "keyword",
+    "to": "keyword",
+    "try": "keyword",
+    "value": "keyword",
+    "virtual": "keyword",
+    "when": "keyword",
+    // builtins
+    "raise": "builtin",
+    "failwith": "builtin",
+    "true": "builtin",
+    "false": "builtin",
+    // Pervasives builtins
+    "asr": "builtin",
+    "land": "builtin",
+    "lor": "builtin",
+    "lsl": "builtin",
+    "lsr": "builtin",
+    "lxor": "builtin",
+    "mod": "builtin",
+    "or": "builtin",
+    // More Pervasives
+    "raise_notrace": "builtin",
+    "trace": "builtin",
+    "exit": "builtin",
+    "print_string": "builtin",
+    "print_endline": "builtin",
+    "int": "type",
+    "float": "type",
+    "bool": "type",
+    "char": "type",
+    "string": "type",
+    "unit": "type",
+    // Modules
+    "List": "builtin"
+  }
+});
+const fSharp = mlLike({
+  extraWords: {
+    "abstract": "keyword",
+    "assert": "keyword",
+    "base": "keyword",
+    "begin": "keyword",
+    "class": "keyword",
+    "default": "keyword",
+    "delegate": "keyword",
+    "do!": "keyword",
+    "done": "keyword",
+    "downcast": "keyword",
+    "downto": "keyword",
+    "elif": "keyword",
+    "extern": "keyword",
+    "finally": "keyword",
+    "for": "keyword",
+    "function": "keyword",
+    "global": "keyword",
+    "inherit": "keyword",
+    "inline": "keyword",
+    "interface": "keyword",
+    "internal": "keyword",
+    "lazy": "keyword",
+    "let!": "keyword",
+    "match": "keyword",
+    "member": "keyword",
+    "module": "keyword",
+    "mutable": "keyword",
+    "namespace": "keyword",
+    "new": "keyword",
+    "null": "keyword",
+    "override": "keyword",
+    "private": "keyword",
+    "public": "keyword",
+    "return!": "keyword",
+    "return": "keyword",
+    "select": "keyword",
+    "static": "keyword",
+    "to": "keyword",
+    "try": "keyword",
+    "upcast": "keyword",
+    "use!": "keyword",
+    "use": "keyword",
+    "void": "keyword",
+    "when": "keyword",
+    "yield!": "keyword",
+    "yield": "keyword",
+    // Reserved words
+    "atomic": "keyword",
+    "break": "keyword",
+    "checked": "keyword",
+    "component": "keyword",
+    "const": "keyword",
+    "constraint": "keyword",
+    "constructor": "keyword",
+    "continue": "keyword",
+    "eager": "keyword",
+    "event": "keyword",
+    "external": "keyword",
+    "fixed": "keyword",
+    "method": "keyword",
+    "mixin": "keyword",
+    "object": "keyword",
+    "parallel": "keyword",
+    "process": "keyword",
+    "protected": "keyword",
+    "pure": "keyword",
+    "sealed": "keyword",
+    "tailcall": "keyword",
+    "trait": "keyword",
+    "virtual": "keyword",
+    "volatile": "keyword",
+    // builtins
+    "List": "builtin",
+    "Seq": "builtin",
+    "Map": "builtin",
+    "Set": "builtin",
+    "Option": "builtin",
+    "int": "builtin",
+    "string": "builtin",
+    "not": "builtin",
+    "true": "builtin",
+    "false": "builtin",
+    "raise": "builtin",
+    "failwith": "builtin"
+  },
+  slashComments: true
+});
+const sml = mlLike({
+  extraWords: {
+    "abstype": "keyword",
+    "and": "keyword",
+    "andalso": "keyword",
+    "case": "keyword",
+    "datatype": "keyword",
+    "fn": "keyword",
+    "handle": "keyword",
+    "infix": "keyword",
+    "infixr": "keyword",
+    "local": "keyword",
+    "nonfix": "keyword",
+    "op": "keyword",
+    "orelse": "keyword",
+    "raise": "keyword",
+    "withtype": "keyword",
+    "eqtype": "keyword",
+    "sharing": "keyword",
+    "sig": "keyword",
+    "signature": "keyword",
+    "structure": "keyword",
+    "where": "keyword",
+    "true": "keyword",
+    "false": "keyword",
+    // types
+    "int": "builtin",
+    "real": "builtin",
+    "string": "builtin",
+    "char": "builtin",
+    "bool": "builtin"
+  },
+  slashComments: true
+});
+export {
+  fSharp,
+  oCaml,
+  sml
+};

package/app/out/renderer/assets/modelica-0d55jYY0.js

@@ -0,0 +1,147 @@
+function words(str) {
+  var obj = {}, words2 = str.split(" ");
+  for (var i = 0; i < words2.length; ++i)
+    obj[words2[i]] = true;
+  return obj;
+}
+var keywords = words("algorithm and annotation assert block break class connect connector constant constrainedby der discrete each else elseif elsewhen encapsulated end enumeration equation expandable extends external false final flow for function if import impure in initial inner input loop model not operator or outer output package parameter partial protected public pure record redeclare replaceable return stream then true type when while within");
+var builtin = words("abs acos actualStream asin atan atan2 cardinality ceil cos cosh delay div edge exp floor getInstanceName homotopy inStream integer log log10 mod pre reinit rem semiLinear sign sin sinh spatialDistribution sqrt tan tanh");
+var atoms = words("Real Boolean Integer String");
+var completions = [].concat(Object.keys(keywords), Object.keys(builtin), Object.keys(atoms));
+var isSingleOperatorChar = /[;=\(:\),{}.*<>+\-\/^\[\]]/;
+var isDoubleOperatorChar = /(:=|<=|>=|==|<>|\.\+|\.\-|\.\*|\.\/|\.\^)/;
+var isDigit = /[0-9]/;
+var isNonDigit = /[_a-zA-Z]/;
+function tokenLineComment(stream, state) {
+  stream.skipToEnd();
+  state.tokenize = null;
+  return "comment";
+}
+function tokenBlockComment(stream, state) {
+  var maybeEnd = false, ch;
+  while (ch = stream.next()) {
+    if (maybeEnd && ch == "/") {
+      state.tokenize = null;
+      break;
+    }
+    maybeEnd = ch == "*";
+  }
+  return "comment";
+}
+function tokenString(stream, state) {
+  var escaped = false, ch;
+  while ((ch = stream.next()) != null) {
+    if (ch == '"' && !escaped) {
+      state.tokenize = null;
+      state.sol = false;
+      break;
+    }
+    escaped = !escaped && ch == "\\";
+  }
+  return "string";
+}
+function tokenIdent(stream, state) {
+  stream.eatWhile(isDigit);
+  while (stream.eat(isDigit) || stream.eat(isNonDigit)) {
+  }
+  var cur = stream.current();
+  if (state.sol && (cur == "package" || cur == "model" || cur == "when" || cur == "connector")) state.level++;
+  else if (state.sol && cur == "end" && state.level > 0) state.level--;
+  state.tokenize = null;
+  state.sol = false;
+  if (keywords.propertyIsEnumerable(cur)) return "keyword";
+  else if (builtin.propertyIsEnumerable(cur)) return "builtin";
+  else if (atoms.propertyIsEnumerable(cur)) return "atom";
+  else return "variable";
+}
+function tokenQIdent(stream, state) {
+  while (stream.eat(/[^']/)) {
+  }
+  state.tokenize = null;
+  state.sol = false;
+  if (stream.eat("'"))
+    return "variable";
+  else
+    return "error";
+}
+function tokenUnsignedNumber(stream, state) {
+  stream.eatWhile(isDigit);
+  if (stream.eat(".")) {
+    stream.eatWhile(isDigit);
+  }
+  if (stream.eat("e") || stream.eat("E")) {
+    if (!stream.eat("-"))
+      stream.eat("+");
+    stream.eatWhile(isDigit);
+  }
+  state.tokenize = null;
+  state.sol = false;
+  return "number";
+}
+const modelica = {
+  name: "modelica",
+  startState: function() {
+    return {
+      tokenize: null,
+      level: 0,
+      sol: true
+    };
+  },
+  token: function(stream, state) {
+    if (state.tokenize != null) {
+      return state.tokenize(stream, state);
+    }
+    if (stream.sol()) {
+      state.sol = true;
+    }
+    if (stream.eatSpace()) {
+      state.tokenize = null;
+      return null;
+    }
+    var ch = stream.next();
+    if (ch == "/" && stream.eat("/")) {
+      state.tokenize = tokenLineComment;
+    } else if (ch == "/" && stream.eat("*")) {
+      state.tokenize = tokenBlockComment;
+    } else if (isDoubleOperatorChar.test(ch + stream.peek())) {
+      stream.next();
+      state.tokenize = null;
+      return "operator";
+    } else if (isSingleOperatorChar.test(ch)) {
+      state.tokenize = null;
+      return "operator";
+    } else if (isNonDigit.test(ch)) {
+      state.tokenize = tokenIdent;
+    } else if (ch == "'" && stream.peek() && stream.peek() != "'") {
+      state.tokenize = tokenQIdent;
+    } else if (ch == '"') {
+      state.tokenize = tokenString;
+    } else if (isDigit.test(ch)) {
+      state.tokenize = tokenUnsignedNumber;
+    } else {
+      state.tokenize = null;
+      return "error";
+    }
+    return state.tokenize(stream, state);
+  },
+  indent: function(state, textAfter, cx) {
+    if (state.tokenize != null) return null;
+    var level = state.level;
+    if (/(algorithm)/.test(textAfter)) level--;
+    if (/(equation)/.test(textAfter)) level--;
+    if (/(initial algorithm)/.test(textAfter)) level--;
+    if (/(initial equation)/.test(textAfter)) level--;
+    if (/(end)/.test(textAfter)) level--;
+    if (level > 0)
+      return cx.unit * level;
+    else
+      return 0;
+  },
+  languageData: {
+    commentTokens: { line: "//", block: { open: "/*", close: "*/" } },
+    autocomplete: completions
+  }
+};
+export {
+  modelica
+};