-
-
llama.cpp Public
Forked from ggml-org/llama.cppLLM inference in C/C++
C++ MIT License UpdatedDec 29, 2025 -
Phantora Public
A hybrid GPU cluster simulator for ML system performance estimation
-
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
-
-
torchtitan Public
Forked from pytorch/torchtitanA PyTorch native platform for training generative AI models
Python BSD 3-Clause "New" or "Revised" License UpdatedAug 26, 2025 -
DeepSpeed Public
Forked from deepspeedai/DeepSpeedDeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.
Python Apache License 2.0 UpdatedAug 24, 2025 -
tch-rs Public
Forked from LaurentMazare/tch-rsRust bindings for the C++ api of PyTorch.
-
coq-serapi Public
Forked from rocq-archive/coq-serapiCoq Protocol Playground with Se(xp)rialization of Internal Structures.
OCaml Other UpdatedAug 10, 2025 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Rocq Prover Other UpdatedJul 7, 2025 -
-
coq Public
Forked from ejgallego/coqCoq 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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedJun 5, 2025 -
Megatron-LM Public
Forked from NVIDIA/Megatron-LMOngoing research training transformer models at scale
Python Other UpdatedJan 26, 2025 -
fscq Public
Forked from mit-pdos/fscqFSCQ is a certified file system written and proven in Coq
Coq Other UpdatedOct 22, 2024 -
-
-
VST Public
Forked from PrincetonUniversity/VSTVerified Software Toolchain
Coq Other UpdatedApr 24, 2023 -
-
-
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedFeb 8, 2023 -
-
ChezScheme Public
Forked from racket/ChezSchemeChez Scheme
Scheme Apache License 2.0 UpdatedOct 24, 2022 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedOct 24, 2022 -
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedOct 16, 2022 -
-
-
-
-
-
conv2d-scheduler Public archive
An optimized scheduler for 2D convolution in tvm
{{ message }}