found 9 packages in 13ms

variant3.4kMPL-2.02.1.0

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

paarthenonover 1 year agotype-theory, typescript, variant

@paarth/variant64MPL-2.00.9.4

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

paarthenonover 3 years agotype-theory, typescript, variant

@jscoq/htt26AGPL-3.0-or-later0.17.1

Hoare Type Theory for jsCoq

jscoqalmost 2 years ago

mihama170.0.1

A Modern Functional and Dependent Type Programming Language Base on Rust

biyuehu3 months agotype-theory, functional, dependent-type, language

escoc6MIT0.1.2

A nano proof language.

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

‹
1
2
›

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