lychees

minakokojima's starred repositories

Index-1.9B

A SOTA lightweight multilingual LLM

Language:PythonApache-2.073500

ape210k

This is the repository of the Ape210K dataset and baseline models.

15900

kimi

The Node.js client and CLI for Moonshot AI(Kimi).

Language:JavaScriptMIT2000

mathlib4

The math library of Lean 4

Language:LeanApache-2.0120000

rubiks-cube

A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.

Language:Lean600

rubikcubegroup

rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/

Language:Lean800

PLCT-Weekly

软件所PLCT实验室在开源领域的不定期简报

Language:HTMLCC-BY-SA-4.055900

lean-gptf

Interactive neural theorem proving in Lean

Language:LeanApache-2.011300

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

Language:C++MIT85800

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Language:LeanApache-2.014900

theorem_proving_in_lean4

Theorem Proving in Lean 4

Language:JavaScriptApache-2.014700

aider

aider is AI pair programming in your terminal

Language:PythonApache-2.01409700

OpenDevin

🐚 OpenDevin: Code Less, Make More

Language:PythonMIT2877200

wemac

一个 it just works 的 Mac 版微信 RPA 群聊机器人

Language:AppleScript9800

moonshot-plays

Discover innovative Python demos showcasing Moonshot AI's LLM capabilities.

Language:PythonWTFPL800

grok-1

Grok open release

Language:PythonApache-2.04918200

upstream

Upstream Plugins for Koishi

Language:TypeScriptMIT200

Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting you quickly go from prototype to production.

Language:TypeScriptNOASSERTION3819700

llm-benchmarks

LLM benchmarks

Language:JavaScript1300

yet-another-applied-llm-benchmark

A benchmark to evaluate language models on questions I've previously asked them to solve.

Language:PythonGPL-3.080700

minbpe

Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.

Language:PythonMIT877000

bot-docs

QQ频道机器人文档

Language:JavaScriptMIT19400

range-v3

Range library for C++14/17/20, basis for C++20's std::ranges

Language:C++NOASSERTION407800

CorsixTH

Open source clone of Theme Hospital

Language:LuaNOASSERTION395800