https://github.com/keynmol/scip-json
https://github.com/keynmol/scip-json
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/keynmol/scip-json
- Owner: keynmol
- Created: 2023-04-21T09:16:24.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2023-04-21T10:45:44.000Z (about 2 years ago)
- Last Synced: 2025-01-14T23:53:38.086Z (6 months ago)
- Language: Scala
- Size: 40 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# scip-json - print SCIP files as JSON
## Installation:
- Download the binary from [releases page](https://github.com/keynmol/scip-json/releases/latest)
- Build it yourself:
- Install [Scala CLI](https://scala-cli.virtuslab.org/install)
- Build the binary:
```
scala-cli package --native generated test.scala -f -o scip-json-cli
```
## Usage
```
> scip-json-cli index.scip | jq | head
{
"documents": [
{
"occurrences": [
{
"range": [
2,
17,
27
],
```