-
public Public
Forked from 01-edu/public📚 @01-edu's Public Repository
JavaScript UpdatedAug 29, 2025 -
torch-mlir Public
Forked from llvm/torch-mlirThe Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
C++ Other UpdatedSep 18, 2024 -
-
-
treemacs Public
Forked from Alexander-Miller/treemacsEmacs Lisp GNU General Public License v3.0 UpdatedAug 15, 2024 -
-
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMay 31, 2024 -
ATS-Xanadu Public
Forked from githwxi/ATS-XanaduBootstrapping ATS3
ATS GNU General Public License v3.0 UpdatedMay 31, 2024 -
-
milewski-ctfp-pdf Public
Forked from hmemcpy/milewski-ctfp-pdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
TeX Other UpdatedMay 16, 2024 -
-
-
-
games Public
life isn't a game; it's a self replicating universal computer. but if you're really that dumb, you can pretend~
Zig UpdatedMay 1, 2024 -
Nayuki-web-published-code Public
Forked from nayuki/Nayuki-web-published-codeComplete collection of code files (*.java/js/py/cpp/etc.) published on Project Nayuki website.
Java UpdatedApr 26, 2024 -
zen Public
Forked from AndreaOrru/zenExperimental operating system written in Zig
Zig BSD 3-Clause "New" or "Revised" License UpdatedApr 26, 2024 -
-
-
-
uploaded for my fb/irl friend Nicolas Sadirac
-
NeMo Public
Forked from NVIDIA-NeMo/NeMoNeMo: a framework for generative AI
Python Apache License 2.0 UpdatedApr 21, 2024 -
-
-
TensorRT Public
Forked from NVIDIA/TensorRTNVIDIA® TensorRT™ is an SDK for high-performance deep learning inference on NVIDIA GPUs. This repository contains the open source components of TensorRT.
C++ Apache License 2.0 UpdatedApr 14, 2024 -
tensorrtllm_backend Public
Forked from triton-inference-server/tensorrtllm_backendThe Triton TensorRT-LLM Backend
Python Apache License 2.0 UpdatedApr 14, 2024 -
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedApr 14, 2024 -
murxla Public
Forked from murxla/murxlaA model-based API Fuzzer for SMT Solvers.
C++ GNU General Public License v3.0 UpdatedApr 14, 2024 -
circ Public
Forked from circify/circ(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Rust Other UpdatedApr 14, 2024
{{ message }}