caaatisgood

haoping's starred repositories

typeorm

ORM for TypeScript and JavaScript. Supports MySQL, PostgreSQL, MariaDB, SQLite, MS SQL Server, Oracle, SAP Hana, WebSQL databases. Works in NodeJS, Browser, Ionic, Cordova and Electron platforms.

Language:TypeScriptMIT33731 347 8080

pnpm

Fast, disk space efficient package manager

Language:TypeScriptMIT28600 142 4132

sst

Build modern full-stack applications on AWS

Language:TypeScriptMIT21075 311 1601

qwik

Instant-loading web apps, without effort

Language:TypeScriptMIT20115 142 2005

acorn

A small, fast, JavaScript-based JavaScript parser

Language:JavaScript10357 175 786

tsup

The simplest and fastest way to bundle your TypeScript libraries.

Language:TypeScriptMIT8557 31 517

httpstat

It's like curl -v, with colours.

Language:GoMIT6998 113 64

js-yaml

JavaScript YAML parser and dumper. Very fast.

Language:JavaScriptMIT6222 76 529

bases

Hosts TSConfigs to extend in a TypeScript app, tuned to a particular runtime environment

Language:TypeScriptMIT5976 41 110

wagmi

Reactive primitives for Ethereum apps

Language:TypeScriptMIT5820 42 1040

web3-react

A simple, maximally extensible, dependency minimized framework for building modern Ethereum dApps

Language:TypeScriptGPL-3.05485 79 474

theme-ui

Build consistent, themeable React apps based on constraint-based design principles

Language:TypeScriptMIT5252 43 662

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.14721 103 9956