JSuder-xx/multicast-elm JSuder-xx/multicast-elm

  • Stars
    star
    1
  • Language
    Elm
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JSuder-xx/multicast-elm
github

JSuder-xx

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Multicast Causal Ordering simulation and visualization. Using vector clocks to maintain the order of causally related messages in a distributed system.

More Repositories

1

TSqlStrong

T-Sql type checker that detects improper joins, invalid null value operations, enumeration check constraint violations, incorrect use of temporary table at call site, more. On-line demo available.
C#
11
star
2

abstract-astar

Versatile A* (A Star) implementation in TypeScript.
TypeScript
8
star
3

planning-day

TypeScript Playground plugin for planning an agile sprint or iteration by combining static type verification of configuration with a React Gantt chart visualization.
TypeScript
4
star
4

litlog

An on-line literate logic programming language (similar to Prolog) designed to replace symbol heavy syntax with literate keywords in order to focus learners on fundamental logic programming concepts.
OCaml
2
star
5

dependently-typed-rummikub

Proof of the dependent typing capabilities of TypeScript. Demonstration of type-checking literal arrays of Rummikub tiles as valid Runs or Groups.
TypeScript
2
star
6

elm-review-reducible-lambdas

Elm review rule to detect reducible functions such as by eta reduction.
Elm
1
star
7

elm-module-explorer

Visualize and navigate functions related to types declared in the current Elm file.
Elm
1
star
8

elm.simplication

Simple logic implication visualizer as a communication aide.
Elm
1
star
9

elm-ra

Support for Pointfree style in Elm with a subset of Ramda functions; excludes functions provided by elm-community Extra packages.
Elm
1
star
10

typescript-union-types-with-mobx-react

Demonstration of using MobX + React project with Typescript discriminated unions to help make impossible states unrepresentable.
TypeScript
1
star
11

decision-matrix

A small on-line decision matrix application to assist in decision making and communicating relevant factors with collaborators. Written in OCaml using TEA. Hosted on-line demo available.
OCaml
1
star