https://github.com/bamless/vsc-jstar-extension

A Visual Studio Code Extension that adds support for the J* language
https://github.com/bamless/vsc-jstar-extension

jstar syntax-highlighter visual-studio

Last synced: 10 days ago
JSON representation

A Visual Studio Code Extension that adds support for the J* language

• Host: GitHub
• URL: https://github.com/bamless/vsc-jstar-extension
• Owner: bamless
• Created: 2020-01-10T23:43:44.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2023-05-07T17:38:30.000Z (about 3 years ago)
• Last Synced: 2025-02-22T21:15:18.580Z (over 1 year ago)
• Topics: jstar, syntax-highlighter, visual-studio
• Language: TypeScript
• Homepage:
• Size: 1.2 MB
• Stars: 2
• Watchers: 4
• Forks: 0
• Open Issues: 10
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md

Awesome Lists containing this project

README

          
# Syntax highlighting and linting for the J* language

Visual Studio Code support for the for the [J*](https://github.com/bamless/jstar) language.

## Features

This extension supports syntax highlighting and linting via the [Pulsar](https://github.com/bamless/pulsar.git)

static analyzer.