syca0516

syca0516's Stars

• JimmyLv/BibiGPT-v1

  BibiGPT v1 · one-Click AI Summary for Audio/Video & Chat with Learning Content: Bilibili | YouTube | Tweet丨TikTok丨Dropbox丨Google Drive丨Local files | Websites丨Podcasts | Meetings | Lectures, etc. 音视频内容 AI 一键总结 & 对话：哔哩哔哩丨YouTube丨推特丨小红书丨抖音丨快手丨百度网盘丨阿里云盘丨网页丨播客丨会议丨本地文件等 (原 BiliGPT 省流神器 & AI课代表)

  Language:TypeScript5.4k713

• chronaeon/beigepaper

  Rewrite of the Yellowpaper in non-Yellowpaper syntax.

  Language:TeX79487

• move-language/move

  Language:Rust2.3k687

• ethereumbook/ethereumbook

  Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

  Language:JavaScript20.1k5k

• ktprime/emhash

  Fast and memory efficient c++ flat hash map/set

  Language:C++52336

• milvus-io/milvus

  Milvus is a high-performance, cloud-native vector database designed to scale seamlessly. It’s the ideal solution for powering Generative AI applications. Proudly developed and maintained by Zilliz.

  Language:Go31.5k3k

• agronholm/apscheduler

  Task scheduling library for Python

  Language:Python6.4k715

• ccxt/ccxt

  A JavaScript / TypeScript / Python / C# / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges

  Language:Python33.8k7.6k

• mozillazg/go-pinyin

  汉字转拼音

  Language:Go1.6k196

• BYVoid/OpenCC

  Conversion between Traditional and Simplified Chinese

  Language:C++8.6k988

• gabime/spdlog

  Fast C++ logging library.

  Language:C++24.8k4.6k

• bouk/monkey

  Monkey patching in Go

  Language:Go3.4k369

• justinethier/husk-scheme

  A full implementation of the Scheme programming language for the Haskell Platform.

  Language:Haskell30828

• supermemoryai/supermemory

  Build your own second brain with supermemory. It's a ChatGPT for your bookmarks. Import tweets or save websites and content using the chrome extension.

  Language:TypeScript7.5k732

• comfyanonymous/ComfyUI

  The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.

  Language:Python61.3k6.5k

• processone/ejabberd

  Robust, Ubiquitous and Massively Scalable Messaging Platform (XMPP, MQTT, SIP Server)

  Language:Erlang6.1k1.5k

• andrewyng/translation-agent

  Language:Python5k584

• rcardin/sus4s

  A Direct-Style Scala Wrapper Around the Structured Concurrency of Project Loom

  Language:Scala271

• BartoszMilewski/DeepLearning

  Neural networks using parametric prelenses and Trimbara modules

  Language:Haskell312

• tonkeeper/tonkeeper-web

  Tonkeeper Web is a multi-platform open-source non-custodial TON crypto wallet and gateway to blockchain dApps

  Language:TypeScript266109

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.6k14.5k

• racket/typed-racket

  Typed Racket

  Language:Racket528102

• racket/racket

  The Racket repository

  Language:Racket4.8k663

• WhatsApp/erlang-language-platform

  Erlang Language Platform. LSP server and CLI.

  Language:Rust26520

• typelevel/cats-effect

  The pure asynchronous runtime for Scala

  Language:Scala2k529

• yanyiwu/cppjieba

  "结巴"中文分词的C++版本

  Language:C++2.6k695

• nicolasstucki/scala-rrb-vector

  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations

  Language:Scala554

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k167

• erlang/otp

  Erlang/OTP

  Language:Erlang11.5k3k

• coq/coq

  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:OCaml4.9k658