keywords:

type-theory

4 packages trouvés en 31ms

variant3.2kMPL-2.02.1.0

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

paarthenonIl y a over 1 yeartypescript, variant, type-theory

@paarth/variant64MPL-2.00.9.4

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

paarthenonIl y a over 3 yearstypescript, variant, type-theory

mihama170.0.1

A Modern Functional and Dependent Type Programming Language Base on Rust

biyuehuIl y a 4 monthsfunctional, dependent-type, language, type-theory

escoc8MIT0.1.2

A nano proof language.

maiavictorIl y a about 3 yearstheorem-proving, lambda-calculus, functional-programming, type-theory

Packages

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