@storm-software/untyped

A package containing `untyped` utilities for building Storm Software libraries and applications

v0.24.29 URL: https://unpkg.com/@storm-software/untyped@0.24.29/dist/index.js

Open Browse Files

acidic cyclone-ui untyped monorepo storm storm-ops storm-stack sullivanpj

@powerlines/plugin-untyped

A Powerlines plugin to use Untyped for code generation based on user-defined schemas.

v0.1.30 URL: https://unpkg.com/@powerlines/plugin-untyped@0.1.30/dist/index.js

Open Browse Files

untyped powerlines storm-software powerlines-plugin

@alexo/lambda

Macro Lambda Calculus

v0.5.2 URL: https://unpkg.com/@alexo/lambda@0.5.2/index.js

Open Browse Files

lambda-calculus pure untyped interaction-nets interaction-calculus optimal-reduction abstract-algorithm closed-reduction lambdascope api cli

lambda-calculus-with-js

Using JS' anonymous functions to perform lambda calculus

v1.2.0 URL: https://unpkg.com/lambda-calculus-with-js@1.2.0/index.js

Open Browse Files

lambda-calculus pure untyped lambda dsl internal-dsl