keywords:

type-theory

找到 4 个包，花费 12 毫秒

variant3.2kMPL-2.02.1.0

Variant types (a.k.a. Discriminated Unions) in TypeScript

paarthenonover 1 year 前typescript, variant, type-theory

@paarth/variant64MPL-2.00.9.4

Variant types (a.k.a. Discriminated Unions) in TypeScript

paarthenonover 3 years 前typescript, variant, type-theory

mihama170.0.1

A Modern Functional and Dependent Type Programming Language Base on Rust

biyuehu4 months 前functional, dependent-type, language, type-theory

escoc8MIT0.1.2

A nano proof language.

maiavictorabout 3 years 前theorem-proving, lambda-calculus, functional-programming, type-theory

包

Lightweight debugging utility for Node.js and the browser

debug, log, debugger

Lodash modular utilities.

modules, stdlib, util

React is a JavaScript library for building user interfaces.

A querystring parser that supports nesting and arrays, with a depth limit

querystring, qs, query, url

Higher-order functions and common patterns for asynchronous code

async, callback, module, utility

babel babel-core

Babel compiler core.

6to5, babel, classes, const