Martin Ring (@martinring)
github

martinring

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

tmlanguage

json schema for textmate grammar definitions
95
star
2

cobra

Proof and Code Presentation Framework
Scala
21
star
3

clide2

A language agnostic collaborative cloud IDE
Scala
19
star
4

scalajs-play

THIS IS OUTDATED! A minimal example of scala.js integrated into play
Scala
7
star
5

scala-json-rpc

Scala Implementation of JSON RPC 2.0 Protocol
Scala
4
star
6

ublatt

interactive exercise sheet generator
TypeScript
4
star
7

vscode-ocl

OCL support for Visual Studio Code
3
star
8

hyper-vscode-dark

Hyper theme inspired by Visual Studio Code Dark+
JavaScript
3
star
9

clide

This is no longer maintained. see clide2!
JavaScript
3
star
10

vscode-languageserver-scala

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

vscode-scala

Scala language support for VSCode based on ensime
Scala
2
star
12

vscode-sysml

SysML language support for Visual Studio Code
TypeScript
2
star
13

oopsc

OOPS compiler written in scala
Scala
2
star
14

clide.xml

A compile time XML library for Scala.
Scala
2
star
15

markdown-it-table-captions

Table caption plugin for markdown-it markdown parser.
TypeScript
2
star
16

eval-lang

The eval Programming Language
2
star
17

markdown-it-citations

pandoc style citations for markdown-it
TypeScript
2
star
18

escalator

An in-browser scala REPL
Scala
1
star
19

babelfish

Simple communication for polyglot systems.
Haskell
1
star
20

Hackpack

Subset Sum Solver
Haskell
1
star
21

hakka

Haskell
1
star