Purewhite2019

Purewhite2019's Stars

• alist-org/alist

  🗂️A file list/WebDAV program that supports multiple storages, powered by Gin and Solidjs. / 一个支持多存储的文件列表/WebDAV程序，使用 Gin 和 Solidjs。

  Language:Go42.5k1953.6k5.5k

• bndr/pipreqs

  pipreqs - Generate pip requirements.txt file based on imports of any project. Looking for maintainers to move this project forward.

  Language:Python6.2k55276384

• rime/weasel

  【小狼毫】Rime for Windows

  Language:C++4.4k1201.1k542

• mozilla-mobile/firefox-android

  :warning: This repository hosts the Firefox for Android (Fenix), Focus for Android, and Mozilla Android Components projects. It is now developed and maintained as part of Mozilla Central. See the announcement here: https://github.com/mozilla-mobile/firefox-android/wiki#upcoming-migration-to-mozilla-central. ”

  Language:Kotlin1.7k532323

• kyegomez/BitNet

  Implementation of "BitNet: Scaling 1-bit Transformers for Large Language Models" in pytorch

  Language:Python1.6k4037143

• InternLM/HuixiangDou

  HuixiangDou: Overcoming Group Chat Scenarios with LLM-based Technical Assistance

  Language:Python1.4k2135124

• secure-77/Perlite

  A web-based markdown viewer optimized for Obsidian

  Language:CSS1k1210290

• Thinklab-SJTU/Awesome-LLM4AD

  A curated list of awesome LLM for Autonomous Driving resources (continually updated)

  91939547

• pjlab-sys4nlp/llama-moe

  ⛷️ LLaMA-MoE: Building Mixture-of-Experts from LLaMA with Continual Pre-training (EMNLP 2024)

  Language:Python85981945

• chuanyangjin/fast-DiT

  Fast Diffusion Models with Transformers

  Language:Python68271491

• empty-233/tencent-sandbox

  Windows sandbox 腾讯全家桶沙盒配置

  Language:PowerShell64322741

• Erikvl87/docker-languagetool

  Dockerfile for LanguageTool server - configurable

  Language:Shell44255357

• InternLM/InternLM-Math

  State-of-the-art bilingual open-sourced Math reasoning LLMs.

  Language:Python41582325

• erdogant/distfit

  distfit is a python library for probability density fitting.

  Language:Jupyter Notebook36074425

• LLaVA-VL/LLaVA-Interactive-Demo

  LLaVA-Interactive-Demo

  Language:Python34816925

• UniModal4Reasoning/ChartVLM

  Official Repository of ChartX & ChartVLM: A Versatile Benchmark and Foundation Model for Complicated Chart Reasoning

  Language:Python207131520

• leanprover/theorem_proving_in_lean4

  Theorem Proving in Lean 4

  Language:JavaScript159113385

• zhaoyu-li/DL4TP

  [COLM 2024] A Survey on Deep Learning for Theorem Proving

  121607

• lean-dojo/LeanDojoChatGPT

  ChatGPT plugin for theorem proving in Lean

  Language:Python1127513

• yongxin-ms/DisableSogouNetwork

  担心输入法泄露隐私？此项目可以一键建立网络防火墙，阻止搜狗输入法使用网络

  Language:PowerShell106439

• dmfrey/FileLock

  Python FileLock library

  Language:Python987432

• YuchuanTian/DiJiang

  [ICML'24 Oral] The official code of "DiJiang: Efficient Large Language Models through Compact Kernelization", a novel DCT-based linear attention mechanism.

  Language:Python95575

• UniModal4Reasoning/DocGenome

  DocGenome: An Open Large-scale Scientific Document Benchmark for Training and Testing Multi-modal Large Models

  Language:Jupyter Notebook94553

• Lucky-Lance/Expert_Sparsity

  [ACL 2024] Not All Experts are Equal: Efficient Expert Pruning and Skipping for Mixture-of-Experts Large Language Models

  Language:Python59217

• trishullab/PutnamBench

  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

  Language:Lean474156

• liuchengwucn/FIMO

  Language:Lean263

• yangky11/miniF2F-lean4

  Language:Lean24239

• xyzlancehe/rdp_relative_mouse

  Language:C++235

• ammkrn/type_checking_in_lean4

  Type Checking in Lean 4

  Language:JavaScript22315

• LeeSureman/E5-Retrieval-Reproduction

  Use contrastive learning to train a large language model (LLM) as a retriever

  Language:Python6301