488 Open source projects that are alternatives of or similar to Alive

This project aims to facilitate debugging a kernel driver in windows by adding support for a code change on the fly without reboot/unload, and more!

Rewrite C++ code to automatically apply `constexpr` where possible

LLVM Obfuscator

Example project from my talks in the LLVM Social Berlin and C++ User Group

An esoteric programming language compiler on top of LLVM based on Brainfuck

Scilla - A Smart Contract Intermediate Level Language

Slides and very basic examples

🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations

ECMAScript verification with SMT solvers

From Simple To Complex. A complete collection of webassembly examples.

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

The Language for Smart Legal Contracts

This repository contains a tutorial for a quick start in how to write a register allocator using LLVM

A List of Free and Open Source Hardware Verification Tools and Frameworks

TLA+ language support for Visual Studio Code

C++ Insights - See your source code with the eyes of a compiler

A book about LLVM & Clang（中文开源书：玩转 LLVM）

Graph-based Program Representation & Models for Deep Learning

immudb - world’s fastest immutable database, built on a zero trust model

A portable programming language

JLang: Ahead-of-time compilation of Java programs to LLVM

source code for savior fuzzer

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

HACL*, a formally verified cryptographic library written in F*

Legacy repo, migrated to cheerp-compiler monorepo

验证码输入框，验证码，code view，iOS验证码输入

Intel SPMD Program Compiler

android-ndk for termux

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

M68K LLVM Port

Julia bindings for the Enzyme automatic differentiator

Binary Translator to LLVM IR

VHDL 2008/93/87 simulator

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

MSBuild 15.0 Toolset integration for multiple LLVM (From v5 to v8)

Yet Another Not So Obfuscated LLVM

Temporal Logic Planning toolbox

Cogent Project

Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.

A Proof-oriented Programming Language

Fortran to WebAssembly

The C++ Standard Library for your entire system.

Yet Another JVM/LLVM Dynamic Language (LLVM Backend WIP)

A tool for analyzing x86-64 binaries.

C IDE for iOS

Node LLVM 4.0+ Bindings

Standard Subresource Integrity library for Node.js

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

LLVM Profiling Visualization

Proton Clang toolchains builds in the form of a continuously updating Git repository. Clone with --depth=1.

Cross platform IDE and Shell

The Whiley Compiler (WyC)

Discover what languages can be compiled to Web Assembly

LLVM/Clang for Visual Studio 2019, 2017, 2015, 2013, 2012 and 2010. clang-cl for Python3 distutils. Utils for Clang Static Analyzer

NOTE: The LLVM project now operates official Git mirrors as well: http://llvm.org/docs/GettingStarted.html#git-mirror -- An automated mirror of llvm/trunk from LLVM's SVN. Updates hourly. Release branches and tags are tracked manually. This mirror is *not* commit-ID compatible with the official Git mirrors.

Metareflect is a lightweight reflection system for C++, based on LLVM and Clangs libtooling.

Mir (backports): Sparse tensors, Hoffman

The cross-platform, open-source SDK to develop for original Xbox: *new* xdk

The LLVM LHC Haskell Optimization System