-
llvm Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedJun 18, 2025 -
-
fpsanitizer-1 Public
Forked from rutgers-apl/fpsanitizerA debugger to detect and diagnose numerical errors in floating point programs
C++ Other UpdatedJun 19, 2022 -
-
lammps Public
Forked from lammps/lammpsPublic development project of the LAMMPS MD software package
C++ GNU General Public License v2.0 UpdatedSep 10, 2021 -
SAMRAI Public
Forked from llnl/SAMRAIStructured Adaptive Mesh Refinement Application Infrastructure - a scalable C++ framework for block-structured AMR application development
C Other UpdatedSep 7, 2021 -
-
-
EVA Public
Forked from microsoft/EVACompiler for the SEAL homomorphic encryption library
C++ MIT License UpdatedApr 11, 2021 -
-
-
PositDebug-1 Public
Forked from rutgers-apl/PositDebugA debugger to detect numerical errors in applications using posits.
C++ Other UpdatedAug 24, 2020 -
coq Public
Forked from rocq-prover/rocqCoq 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 UpdatedMar 13, 2020 -
-
llvm-clang-samples Public
Forked from eliben/llvm-clang-samplesUNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
C++ The Unlicense UpdatedSep 18, 2018 -
mydeepcoder Public
Forked from CannedFish/mydeepcoderImplememt of MS's deepcoder
Python UpdatedApr 28, 2017 -
-
Interprocedural-Constant-Propagation Public
Forked from cdmeister/Interprocedural-Constant-PropagationLLVM Interprocedural Constant Prop
C UpdatedDec 17, 2015 -
quala Public
Forked from sampsyo/qualacustom type systems for Clang
C++ MIT License UpdatedSep 2, 2015 -
dumpfp Public
Forked from haberman/dumpfpA small little tool for dumping a floating-point number in its native format
C++ Apache License 2.0 UpdatedJul 8, 2015
{{ message }}