Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 30 · Most stars

TranslatedA comprehensive Chinese-language collection of Python resources, including: web frameworks, web crawlers, template engines, databases, data visualization, image processing, and more. Maintained and updated by the WeChat official account teams of 「开源前哨」 (Open Source Sentinel) and 「Python开发者」 (Python Developers).

  • python

Translated🌈ChromePluginHeroes, Write a Chinese manual for the excellent Chrome plugin, let the Chrome plugin heroes benefit the human~ Updated in sync on the official account 「0加1 ("0 plus 1")」

:books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source 🌹

  • typescript
  • typescript-book
  • typescript-community
  • free

The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

A well-structured production-ready frontend boilerplate with Typescript, React Testing Library, styled-component, React Query, .env, Axios, Bundle Analyzer, Prettier and 30+ plugins. superplate creates projects for React.js, Next.js, and refine. https://pankod.github.io/superplate/

PE Tools - Portable executable (PE) manipulation toolkit

  • pefile
  • hex-editor
  • disassembler
  • entropy

Data structure and relevant algorithms for extremely fast prefix/fuzzy string searching.

High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.