-
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedNov 12, 2025 -
manim Public
Forked from 3b1b/manimAnimation engine for explanatory math videos
Python MIT License UpdatedOct 20, 2025 -
deepsomatic Public
Forked from google/deepsomaticDeepSomatic is an analysis pipeline that uses a deep neural network to call somatic variants from tumor-normal and tumor-only sequencing data.
BSD 3-Clause "New" or "Revised" License UpdatedOct 15, 2025 -
Python Public
Forked from TheAlgorithms/PythonAll Algorithms implemented in Python
Python MIT License UpdatedSep 24, 2025 -
udlbook Public
Forked from udlbook/udlbookUnderstanding Deep Learning - Simon J.D. Prince
Jupyter Notebook Other UpdatedAug 26, 2025 -
LLVM-Code-Generation-by-example Public
Forked from PacktPublishing/LLVM-Code-Generation-by-exampleThis is the second repo for the book "LLVM Code Generation". This will be linked to the main repo for this title.
LLVM Other UpdatedJun 19, 2025 -
xdsl Public
Forked from xdslproject/xdslA Python Compiler Design Toolkit
-
snitch_cluster Public
Forked from pulp-platform/snitch_clusterAn energy-efficient RISC-V floating-point compute cluster.
C Apache License 2.0 UpdatedMay 15, 2025 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedMay 5, 2025 -
lean-mlir Public
Forked from opencompl/lean-mlirA minimal development of SSA theory
Lean Other UpdatedMar 25, 2025 -
-
MoNaCo Public
Forked from J-MR-T/MoNaCoAn MLIR to Native Code generator
C++ MIT License UpdatedJan 3, 2024 -
eran Public
Forked from eth-sri/eranETH Robustness Analyzer for Deep Neural Networks
Python Apache License 2.0 UpdatedJan 27, 2023
{{ message }}