martinring

tmlanguage

json schema for textmate grammar definitions

cobra

Proof and Code Presentation Framework

ublatt

interactive exercise sheet generator

hyper-vscode-dark

Hyper theme inspired by Visual Studio Code Dark+

babelfish

Simple communication for polyglot systems.

Hackpack

Subset Sum Solver

hakka

markdown-it-citations

pandoc style citations for markdown-it

markdown-it-table-captions

Table caption plugin for markdown-it markdown parser.

thesis

PhD Thesis

arc-theme

A flat theme with transparent elements scaled to 80%

borer

Efficient CBOR and JSON (de)serialization in Scala

clash-compiler

CAES Language for Synchronous Hardware

clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design

duckling

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

elevator

Reactive Programming - Exercise 2

gitit

A wiki using HAppS, pandoc, and git

habra

hoogle-sheets

Reactive Programming Exercise

idea-settings

iverilog

Icarus Verilog

lezer-ocl

OCL grammar for lezer

markdown-it

Markdown parser, done right. 100% CommonMark support, extensions, syntax plugins & high speed

markdown-it-metadata-block

pandoc compatible metadata blocks for markdown-it

nlp-workshop

Files for the NLP Workshop as held on Fri 28. Sep 2018

RotaryEncoder

RotaryEncoder Arduino Library

scala-js-dom

Statically typed DOM API for Scala.js

schemastore

A collection of JSON schema files including full API

slim-theme

workadventure-mzh-e4