Pinned

1. purescript/purescript purescript/purescript Public

   A strongly-typed language that compiles to JavaScript

   Haskell 8.5k 562

2. ramda/ramda ramda/ramda Public

   🐏 Practical functional Javascript

   JavaScript 23.6k 1.4k

3. iam-dhall iam-dhall Public

   Create IAM policies using dhall

   Dhall 9 2

4. lambda-calc-spec lambda-calc-spec Public

   Not that lambda calculus really needs a spec...

   Python 5

5. MatrixSolutions/FSharp.Data.JsonValidation MatrixSolutions/FSharp.Data.JsonValidation Public

   A DSL for validating JSON against expected schemas.

   F# 14 4

6. lets-write-a-lambda-calc-in-fsharp.fsx lets-write-a-lambda-calc-in-fsharp.fsx

   1

   (*

   2

   3

   Examples:

   4

   5

     \x.x                           -----> \x.x