martinring/cobra

Stars
21
Rank 1,081,207 (Top 22 %)
Language
Scala
License
GNU Lesser Genera...
Created over 8 years ago
Updated about 5 years ago

martinring/cobra

martinring

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Proof and Code Presentation Framework

tmlanguage

json schema for textmate grammar definitions

clide2

A language agnostic collaborative cloud IDE

scalajs-play

THIS IS OUTDATED! A minimal example of scala.js integrated into play

scala-json-rpc

Scala Implementation of JSON RPC 2.0 Protocol

ublatt

interactive exercise sheet generator

vscode-ocl

OCL support for Visual Studio Code

hyper-vscode-dark

Hyper theme inspired by Visual Studio Code Dark+

clide

This is no longer maintained. see clide2!

vscode-languageserver-scala

Language server protocol implementation for VSCode. This allows implementing language services in Scala running on JVM

vscode-scala

Scala language support for VSCode based on ensime

vscode-sysml

SysML language support for Visual Studio Code

oopsc

OOPS compiler written in scala

clide.xml

A compile time XML library for Scala.

markdown-it-table-captions

Table caption plugin for markdown-it markdown parser.

eval-lang

The eval Programming Language

markdown-it-citations

pandoc style citations for markdown-it

escalator

An in-browser scala REPL

babelfish

Simple communication for polyglot systems.

Hackpack

Subset Sum Solver

hakka