keywords:

type-theory

foram encontrados 4 pacotes em 32ms

variant3.4kMPL-2.02.1.0

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

paarthenonover 1 year atrástypescript, variant, type-theory

@paarth/variant32MPL-2.00.9.4

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

paarthenonover 3 years atrástypescript, variant, type-theory

escoc6MIT0.1.2

A nano proof language.

maiavictorabout 3 years atrástheorem-proving, lambda-calculus, functional-programming, type-theory

mihama40.0.1

A Modern Functional and Dependent Type Programming Language Base on Rust

biyuehu3 months atrásfunctional, dependent-type, language, type-theory

Pacotes

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