unformalized

unformalized's Stars

• didi/LogicFlow

  A flow chart editing framework focus on business customization. 专注于业务自定义的流程图编辑框架，支持实现脑图、ER图、UML、工作流等各种图编辑场景。

  Language:TypeScript9.1k1.2k

• ijry/uview-plus

  零云®uview-plus，是uni-app全面兼容nvue的uni-app生态框架，全面的组件和便捷的工具会让您信手拈来，如鱼得水。

  Language:Vue532136

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown325k30.2k

• Trebor-Huang/history

  History of type theory (Chinese).

  Language:TeX32711

• clauderic/react-sortable-hoc

  A set of higher-order components to turn any list into an animated, accessible and touch-friendly sortable list✌️

  Language:JavaScript10.8k984

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp19.8k3.1k

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k143

• tc39/proposal-pipeline-operator

  A proposal for adding a useful pipe operator to JavaScript.

  Language:HTML7.6k107

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k369

• Hedgehog-Computing/hedgehog-lab

  Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.

  Language:TypeScript2.4k140

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.8k4.9k

• BestVue3/router

  a better router lib for vue3, it mainly a vue version of React-Router

  Language:TypeScript13

• doodlewind/jshistory-cn

  🇨🇳 《JavaScript 二十年》中文版

  Language:TypeScript4.2k316

• microsoft/TypeScript

  TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  Language:TypeScript102k12.6k

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java70333

• FreeCodeCampChina/freecodecamp.cn

  FCC China open source codebase and curriculum. Learn to code and help nonprofits.

  Language:CSS37.2k1.4k

• getgridea/gridea

  ✍️ A static blog writing client (一个静态博客写作客户端)

  Language:TypeScript10.1k804

• AssemblyScript/assemblyscript

  A TypeScript-like language for WebAssembly.

  Language:WebAssembly17.1k667

• huangzworks/SICP-answers

  我的 SICP 解题集

  Language:Scheme885184

• mocheng/dissecting-rxjs

  《深入浅出RxJS》代码库

  Language:JavaScript406100

• EdgeTranslate/EdgeTranslate

  A translation extension.

  Language:JavaScript2.8k347

• yygmind/blog

  我是木易杨，公众号「高级前端进阶」作者，跟着我每周重点攻克一个前端面试重难点。接下来让我带你走进高级前端的世界，在进阶的路上，共勉！

  10.5k1.1k

• soraping/koa-ts

  koa2+typescript

  Language:TypeScript8815

• xiadd/zhuishushenqi

  追书神器 接口分析包装

  Language:JavaScript533124

• lanpangzhi/novel-api

  一个小说接口API服务

  Language:JavaScript6214

• vuejs/vue

  This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core

  Language:TypeScript208k33.7k

• NervJS/taro

  开放式跨端跨框架解决方案，支持使用 React/Vue/Nerv 等框架来开发微信/京东/百度/支付宝/字节跳动/ QQ 小程序/H5/React Native 等应用。 https://taro.zone/

  Language:TypeScript35.9k4.8k

• wsdo/taro-kit

  🏆✌️taro 小程序脚手架。 特性： 封装api、redux优雅集成、生成海报类，异常日志上报。 如果能帮到你，就给个 star😊

  Language:TypeScript700112

• nodejs/node

  Node.js JavaScript runtime ✨🐢🚀✨

  Language:JavaScript109k30.3k

• facebook/react

  The library for web and native user interfaces.

  Language:JavaScript231k47.4k