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/tmlanguage
json schema for textmate grammar definitions
martinring/cobra
Proof and Code Presentation Framework
martinring/ublatt
interactive exercise sheet generator
martinring/hyper-vscode-dark
Hyper theme inspired by Visual Studio Code Dark+
martinring/babelfish
Simple communication for polyglot systems.
martinring/Hackpack
Subset Sum Solver
martinring/hakka
martinring/markdown-it-citations
pandoc style citations for markdown-it
martinring/markdown-it-table-captions
Table caption plugin for markdown-it markdown parser.
martinring/thesis
PhD Thesis
martinring/arc-theme
A flat theme with transparent elements scaled to 80%
martinring/borer
Efficient CBOR and JSON (de)serialization in Scala
martinring/clash-compiler
CAES Language for Synchronous Hardware
martinring/clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
martinring/duckling
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
martinring/elevator
Reactive Programming - Exercise 2
martinring/gitit
A wiki using HAppS, pandoc, and git
martinring/habra
martinring/hoogle-sheets
Reactive Programming Exercise
martinring/idea-settings
martinring/iverilog
Icarus Verilog
martinring/lezer-ocl
OCL grammar for lezer
martinring/markdown-it
Markdown parser, done right. 100% CommonMark support, extensions, syntax plugins & high speed
martinring/markdown-it-metadata-block
pandoc compatible metadata blocks for markdown-it
martinring/nlp-workshop
Files for the NLP Workshop as held on Fri 28. Sep 2018
martinring/RotaryEncoder
RotaryEncoder Arduino Library
martinring/scala-js-dom
Statically typed DOM API for Scala.js
martinring/schemastore
A collection of JSON schema files including full API
martinring/slim-theme
martinring/workadventure-mzh-e4