@trufflesuite/chromafi

🦅 cli syntax highlighting: any function - any object - 176 languages

v3.0.0 URL: https://unpkg.com/@trufflesuite/chromafi@3.0.0/index.js

Open Browse Files

syntax highlight cli color console terminal language highlight.js chalk object string function line-numbers 1c abnf accesslog actionscript ada apache applescript arduino armasm asciidoc aspectj autohotkey autoit avrasm awk axapta bash basic bnf brainfuck cal capnproto ceylon clean clojure-repl clojure cmake coffeescript coq cos cpp crmsh crystal cs csp css d dart delphi diff django dns dockerfile dos dsconfig dts dust ebnf elixir elm erb erlang-repl erlang excel fix flix fortran fsharp gams gauss gcode gherkin glsl go golo gradle groovy haml handlebars haskell haxe hsp htmlbars http hy inform7 ini irpf90 java javascript jboss-cli json julia-repl julia kotlin lasso ldif leaf less lisp livecodeserver livescript llvm lsl lua makefile markdown mathematica matlab maxima mel mercury mipsasm mizar mojolicious monkey moonscript n1ql nginx nimrod nix nsis objectivec ocaml openscad oxygene parser3 perl pf php pony powershell processing profile prolog protobuf puppet purebasic python q qml r rib roboconf routeros rsl ruby ruleslanguage rust scala scheme scilab scss shell smali smalltalk sml sqf sql stan stata step21 stylus subunit swift taggerscript tap tcl tex thrift tp twig typescript vala vbnet vbscript-html vbscript verilog vhdl vim x86asm xl xml xquery yaml zephir

chromafi

🦅 cli syntax highlighting: any function - any object - 176 languages

v2.1.0 URL: https://unpkg.com/chromafi@2.1.0/index.js

Open Browse Files

syntax highlight cli color console terminal language highlight.js chalk object string function line-numbers 1c abnf accesslog actionscript ada apache applescript arduino armasm asciidoc aspectj autohotkey autoit avrasm awk axapta bash basic bnf brainfuck cal capnproto ceylon clean clojure-repl clojure cmake coffeescript coq cos cpp crmsh crystal cs csp css d dart delphi diff django dns dockerfile dos dsconfig dts dust ebnf elixir elm erb erlang-repl erlang excel fix flix fortran fsharp gams gauss gcode gherkin glsl go golo gradle groovy haml handlebars haskell haxe hsp htmlbars http hy inform7 ini irpf90 java javascript jboss-cli json julia-repl julia kotlin lasso ldif leaf less lisp livecodeserver livescript llvm lsl lua makefile markdown mathematica matlab maxima mel mercury mipsasm mizar mojolicious monkey moonscript n1ql nginx nimrod nix nsis objectivec ocaml openscad oxygene parser3 perl pf php pony powershell processing profile prolog protobuf puppet purebasic python q qml r rib roboconf routeros rsl ruby ruleslanguage rust scala scheme scilab scss shell smali smalltalk sml sqf sql stan stata step21 stylus subunit swift taggerscript tap tcl tex thrift tp twig typescript vala vbnet vbscript-html vbscript verilog vhdl vim x86asm xl xml xquery yaml zephir

@ianwalter/chromafi

🦅 cli syntax highlighting: any function - any object - 176 languages

v1.0.1 URL: https://unpkg.com/@ianwalter/chromafi@1.0.1/index.js

Open Browse Files

syntax highlight cli color console terminal language highlight.js chalk object string function line-numbers 1c abnf accesslog actionscript ada apache applescript arduino armasm asciidoc aspectj autohotkey autoit avrasm awk axapta bash basic bnf brainfuck cal capnproto ceylon clean clojure-repl clojure cmake coffeescript coq cos cpp crmsh crystal cs csp css d dart delphi diff django dns dockerfile dos dsconfig dts dust ebnf elixir elm erb erlang-repl erlang excel fix flix fortran fsharp gams gauss gcode gherkin glsl go golo gradle groovy haml handlebars haskell haxe hsp htmlbars http hy inform7 ini irpf90 java javascript jboss-cli json julia-repl julia kotlin lasso ldif leaf less lisp livecodeserver livescript llvm lsl lua makefile markdown mathematica matlab maxima mel mercury mipsasm mizar mojolicious monkey moonscript n1ql nginx nimrod nix nsis objectivec ocaml openscad oxygene parser3 perl pf php pony powershell processing profile prolog protobuf puppet purebasic python q qml r rib roboconf routeros rsl ruby ruleslanguage rust scala scheme scilab scss shell smali smalltalk sml sqf sql stan stata step21 stylus subunit swift taggerscript tap tcl tex thrift tp twig typescript vala vbnet vbscript-html vbscript verilog vhdl vim x86asm xl xml xquery yaml zephir

coqlsp-client

Coq language server protocol client implementation

v1.0.6 URL: https://unpkg.com/coqlsp-client@1.0.6/dist/index.js

Open Browse Files

coq language-server-protocol lsp-client

hubot-prove-everywhere

hubot script for ProveEverywhere

v0.1.0 URL: https://unpkg.com/hubot-prove-everywhere@0.1.0/index.coffee

Open Browse Files

hubot hubot-scripts coq prove-everywhere