Pinned Repositories
chimpanc
Graphical user interface to explore and integrate functional change management, verification and NLP techniques from the SPECifIC project
clide
This is no longer maintained. see clide2!
clide2
A language agnostic collaborative cloud IDE
cobra
Proof and Code Presentation Framework
hyper-vscode-dark
Hyper theme inspired by Visual Studio Code Dark+
scala-json-rpc
Scala Implementation of JSON RPC 2.0 Protocol
scalajs-play
THIS IS OUTDATED! A minimal example of scala.js integrated into play
thesis
PhD Thesis
tmlanguage
json schema for textmate grammar definitions
ublatt
interactive exercise sheet generator
martinring's Repositories
martinring/clide2
A language agnostic collaborative cloud IDE
martinring/scalajs-play
THIS IS OUTDATED! A minimal example of scala.js integrated into play
martinring/scala-json-rpc
Scala Implementation of JSON RPC 2.0 Protocol
martinring/clide
This is no longer maintained. see clide2!
martinring/clide.xml
A compile time XML library for Scala.
martinring/eval-lang
The eval Programming Language
martinring/oopsc
OOPS compiler written in scala
martinring/vscode-languageserver-scala
Language server protocol implementation for VSCode. This allows implementing language services in Scala running on JVM
martinring/vscode-ocl
OCL support for Visual Studio Code
martinring/vscode-scala
Scala language support for VSCode based on ensime
martinring/vscode-sysml
SysML language support for Visual Studio Code
martinring/escalator
An in-browser scala REPL
martinring/atom-clide-ui
Atom Light UI theme
martinring/efftp
martinring/epic
Epic is a high performance statistical parser written in Scala, along with a framework for building complex structured prediction models.
martinring/hyper-native-frame
Native Window Frame for Hyper
martinring/playframework
Play Framework
martinring/robo-mine
a tiny robot simulation
martinring/sbt-native-packager
SBT Native Packager
martinring/scala
The Scala programming language
martinring/scala-commonmark
CommonMark Parser for Scala (Early WIP)
martinring/scala-js-ts-importer
TypeScript Importer for Scala.js
martinring/space-2d
Fast procedural 2D space scene generation on the GPU.
martinring/swnl
a very (very!) limited scala interface to wordnet, which provides an universal stemmer for the english language.
martinring/vscode
Visual Studio Code
martinring/vscode-languageserver-node
Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js
martinring/vscode-languageserver-scala-example
Sample language server implemented in Node