• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    TypeScript
  • License
    MIT License
  • Created about 4 years ago
  • Updated almost 2 years ago

Reviews

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

Repository Details

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

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

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
4

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
5

elm-review-reducible-lambdas

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

elm-module-explorer

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

elm.simplication

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

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
9

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
10

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
11

multicast-elm

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