Popular repositories Loading

1. dsh-math-proof dsh-math-proof Public

   dsh agda 插件：DeepSeek Harness 数学证明 agent preset —— Agda 内核为唯一裁决，先算后验证，长程证明台账，保留证明信息（对象生成方式/证据档位/被否证的判断）

   JavaScript 1

2. llama.cpp llama.cpp Public

   Forked from ggml-org/llama.cpp

   LLM inference in C/C++ ,这是一个环面几何T6

   C++

3. llvm-project llvm-project Public

   Forked from ROCm/llvm-project

   This is the AMD-maintained fork of the LLVM git repository. This repository accepts pull requests and issues related to AMD fork-specific topics (amd/*). For all other issues/PRs, please submit ups…

   LLVM

4. sass-assembler sass-assembler Public

   sass-assembler,汇编器和反汇编。

   Sass

5. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language and an interactive theorem prover. This is a fork that differs from upstream Agda, based on the theoretical proposition of "GF(3) → GF(3²) extension…

   Haskell

6. setup setup Public

   Forked from haskell-actions/setup

   Setting up GHC, cabal, stack on for Haskell-related CIs

   TypeScript