Popular repositories Loading

1. llama.cpp llama.cpp Public

   Forked from ggml-org/llama.cpp

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

   C++

2. 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

3. sass-assembler sass-assembler Public

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

   Sass

4. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

5. setup setup Public

   Forked from haskell-actions/setup

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

   TypeScript