markoschuetz Goto Github PK

alloy-raft

An attempt at creating a simple model of the Raft Consensus Algorithm in Alloy.

blink-server

This is the server you would need to be able to run the Blink Android Application.

cucumber.ml

Cucumber for OCaml

dot-files

Startup scripts for Zsh and other dot files. Placed here so that I can easily share them between my devices.

dxr

An intelligent source code browser

email

Sending e-mail from Ur/Web

i2foss

Automatically exported from code.google.com/p/i2foss

inso-gh-api-query

libconcurrency

Automatically exported from code.google.com/p/libconcurrency

markoschuetz.github.io

maude-formal-environment

Automatically exported from code.google.com/p/maude-formal-environment

meddly

Multi-terminal and Edge-valued Decision Diagram LibrarY

nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

pistar

piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard

plover

Open source stenotype engine

plover-tcim

千鳥詞注：Plover 中文速錄輸入法

pronunciationtrainer

replpad-js

Interactive Web Console for Rebol language (Ren-C branch)

snapsync

A synchronization tool for btrfs-backed snapper snapshot directories

steno-dictionaries

Di's Plover-theory stenography dictionaries used by Typey Type for Stenographers.

synchronizer

tcim_devfile

Database for dictionary file

tlaplus_animation

A TLA+ module for animating TLC traces.

upo

The Ur/Web People Organizer

urweb

The Ur/Web programming language

urweb-blobtext

xcast