datalog-ts

(★ 222)

a datalog interpreter in typescript

File Explorer

Download Latest Version (.zip)

- - codesee-arch-diagram.yml
  - nodejs.yml
- launch.json
- settings.json
- tasks.json
- - .gitignore
  - .gitmodules
  - effects.ts
  - explore.ts
  - main.tsx
  - patterns.dl
  - README.md
  - reducers.ts
  - step.ts
  - types.ts
- - README.md
- - main.tsx
  - visualizers.tsx
- - incrementalInput.ts
  - main.tsx
- - compileToDL.ts
  - compileToNative.ts
  - ddTests.ts
  - interpreter.ts
  - main.tsx
  - stepAndRecord.ts
  - types.ts
- - main.tsx
- - highlight.css
  - main.tsx
- - main.tsx
- - editor.tsx
  - main.tsx
  - markdown.tsx
- - main.tsx
- - main.tsx
- - .gitignore
  - basic-blocks-language-configuration.json
  - dl-language-configuration.json
  - dl2-language-configuration.json
  - extension.ts
  - grammar-language-configuration.json
  - LICENSE.txt
  - opt-language-configuration.json
  - package.json
  - treedl-language-configuration.json
  - types.ts
  - webView.tsx
- README.md
- tests.ts
- - build.ts
  - catalog.ts
  - ddTests.ts
  - eval.ts
  - graphviz.ts
  - indexedMultiSet.ts
  - interpreter.ts
  - output.ts
  - pretty.ts
  - types.ts
- - convert.ts
  - opt.dl
  - optTests.ts
  - simplex.ts
- - indexes.ts
  - interpreter.ts
  - lazyIndexedCollection.ts
  - simpleEvaluate.ts
  - types.ts
- - aggregation.dd.txt
  - builtins.dd.txt
  - family.dd.txt
  - family_facts.dl
  - family_rules.dl
  - family_viz.dl
  - joinOrder.dd.txt
  - literals.dd.txt
  - negation.dd.txt
  - parser.dd.txt
  - paths.dd.txt
  - recurse.dd.txt
  - simple.dd.txt
  - timeStep.dd.txt
  - traceGraph.dd.txt
- abstractInterpreter.ts
- aggregations.ts
- builtins.ts
- ddTests.ts
- evalBuiltin.ts
- fastPPT.ts
- fsLoader.ts
- joinOrder.ts
- loaders.ts
- pretty.ts
- prettyTest.ts
- termWithBindings.ts
- tests.ts
- traceGraph.ts
- traceTree.ts
- translateAST.ts
- types.ts
- unify.ts
- unifyTests.ts
- - astViz.dl
  - highlight.dl
  - ide.dl
  - ide.ts
  - index.ts
  - main.dl
  - scopeGraphViz.dl
  - testHelpers.ts
  - types.ts
- - index.ts
- - benchmarks.ts
  - ddTests.ts
  - flatten.ts
  - flattenByRule.ts
  - parser.ts
  - pretty.ts
  - ruleTree.ts
  - stdlib.ts
  - translateAST.ts
  - types.ts
  - validate.ts
- - common.ts
  - monacoIntegration.ts
  - semanticTokensBuilder.ts
  - vscodeIntegration.ts
- benchmarks.ts
- ddTests.ts
- interpCache.ts
- requiredRelations.ts
- sourcePositions.ts
- sourcePositionsTest.ts
- tests.ts
- run_benchmarks_locally.sh
- - replViews.tsx
  - rule.tsx
  - term.tsx
  - trace.tsx
- - index.tsx
  - openRelationsContainer.tsx
  - relationTable.tsx
  - relationTree.tsx
  - resultsTable.tsx
  - styles.ts
  - types.ts
  - vizArea.tsx
- - collapsible.tsx
  - collapsibleInner.tsx
  - hooks.ts
  - radioGroup.tsx
  - table.tsx
  - tabs.tsx
  - treeFromRecords.ts
  - treeView.tsx
- - editor.tsx
  - errorList.tsx
  - patchKeyBindings.ts
  - types.ts
- - graphviz.tsx
  - index.tsx
  - multiSlider.tsx
  - optimizer.tsx
  - paramSlider.tsx
  - relationGraphViz.dl
  - sequence.tsx
  - tableEditor.tsx
  - ticker.tsx
  - tree.tsx
  - typeSpec.ts
  - vegalite.tsx
- - buildArchive.ts
  - index.ts
  - parser.ts
  - runner.ts
  - types.ts
- - getCoords.ts
  - README.md
  - render.tsx
  - types.ts
  - util.ts
- - benchmark.ts
  - testing.ts
- airtable.ts
- defaultDict.ts
- generator.ts
- graphviz.ts
- json.ts
- json2dl.ts
- perf.ts
- README.md
- s3.ts
- streamUtil.ts
- termTable.ts
- tests.ts
- tree.ts
- treeTest.ts
- trie.ts
- unreachable.ts
- util.ts
.gitignore
.node-version
.npmignore
allBenchmarks.ts
allTests.ts
LICENSE.txt
package.json
README.md
tsconfig.json
yarn.lock

# Installation Guide

1. Get the code

git clone https://github.com/vilterp/datalog-ts

Downloads the entire project code from GitHub to your computer.

cd datalog-ts

Moves into the project folder you just downloaded.

2. Node.js

Easy Recommended

Prerequisites

Git Needed to download the project code from GitHub.
Node.js Node.js must be installed to use npm. The LTS version is recommended.

cd apps/vscodeExtension

This project's files live in a subfolder, so move into it first.

npm install

Downloads and installs the libraries listed in package.json.

npm start

Starts the development/run server.

✅ After running the command, open the address shown in the terminal (usually something like http://localhost:3000) in your browser.

datalog-ts

File Explorer

# Installation Guide

2. Node.js

Today's picks

Was this content helpful?

Recent Feedback

datalog-ts

File Explorer

# Installation Guide

2. Node.js

Today's picks

Was this content helpful?

Recent Feedback

Download README