381 Open source projects that are alternatives of or similar to verificarlo

A dynamic analysis tool to detect floating-point errors in HPC applications.

math with more good bits

Training with FP16 weights in PyTorch

Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems

Cython bindings for fpzip, a floating point image compression algorithm.

Program Analysis for LLVM

Python notebooks for Numerical Analysis

LLVM + Swift template Xcode project

This tool translates synthesizable SystemC code to synthesizable SystemVerilog.

Los是一个c/c++语言编译型的虚拟机。它使用llvm/clang作为其前端，losld做后端对源代码进行编译，生成los指令文件。Los is a c/c++-compiled virtual machine. It uses llvm/clang as its front end, losld does the backend to compile the source code, and generates the los directive file.

"Ü" programming language development

Compare IEEE floating point values for equality.

Chromium browser compiled with the Clang/LLVM compiler.

Fast, Expressive, & High-Performance Programming Language for those who dare

Haskell bindings for MLIR

JUCE Module for the libfaust JIT compiler

OCCAM: Object Culling and Concretization for Assurance Maximization

A programming language.

Open Optimizing Parallelizing System

Remix for Solana.

A high level LLVM IR AST provider for GraphEngine JIT.

BitPack is a practical tool to efficiently save ultra-low precision/mixed-precision quantized models.

MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.

Computational Methods for Numerical Analysis

The LLVM LHC Haskell Optimization System

Python library for ODE integration via Taylor's method and LLVM

Introduction to Python: Numerical Analysis for Engineers and Scientist. In 2017, Python became the world's most popular programming language. This course covers the basic syntax, linear algebra, plotting, and more to prepare students for solving numerical problems with Python.

Pure-Rust libraries for parsing, interpreting, and analyzing LLVM

Official repo of the EVM LLVM project

The Yu (羽) programming language.

🎓Repository for university labs on FAMCS, BSU

Work in progress specs for the Star programming language

Minimal language with type inference, structures, control flow, and more.

Formal semantics of LLVM IR in K

Numerical methods implementation in Python.

LLVM Obfuscator

Data science and numerical computing with Julia

LLVM compile-time performance data over time.

A Deep Learning Framework for the Posit Number System

LLVM frontend for the Forth Language

SYCL for Vitis: Experimental fusion of triSYCL with Intel SYCL oneAPI DPC++ up-streaming effort into Clang/LLVM

Compiler for IMP programming language implemented in Haskell

C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)

Some toy labs for compiler course

Multi-Arch Docker - Mesa 3D OpenGL Software Rendering (Gallium) - LLVMpipe, and OpenSWR Drivers

Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019

Tutorial on how to write the dumbest obfuscator I could think of.

Torture your LLVM Obfuscation

Floating point printing and parsing library based on Grisu2 and Krosh algorithms

An arbitrary-precision decimal floating-point arithmetic package for Go

Yes, Virginia, you can do floating-point arithmetic in Bash!

clad -- automatic differentiation for C/C++

Clang-Built Musl Linux From Scratch

LLVM meets Code Property Graphs

Kotlin/Native infrastructure

A fast, statically typed compiled language

The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.

Programming Accelerators with C++ (PACXX)

Xcode Playground Sample Code for the Flight School Guide to Swift Numbers

A JIT compiled chess engine which traverses the search tree in batches in a best-first manner, allowing for neural network batching, asynchronous GPU use, and vectorized CPU computations.