Pinned Loading

1. purescript-linter purescript-linter Public

   A Linter for PureScript with 8 formatting rules and 20 style rules.

   PureScript 3 1

2. 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

3. 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

4. elm-review-reducible-lambdas elm-review-reducible-lambdas Public

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

   Elm 1 1