Popular repositories Loading

1. TSqlStrong TSqlStrong Public

   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 6

2. abstract-astar abstract-astar Public

   Versatile A* (A Star) implementation in TypeScript.

   TypeScript 9

3. planning-day planning-day Public

   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

4. dependently-typed-rummikub dependently-typed-rummikub Public

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

   TypeScript 2

5. litlog litlog Public

   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

6. typescript-union-types-with-mobx-react typescript-union-types-with-mobx-react Public

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

   TypeScript 1