345 Open source projects that are alternatives of or similar to AliveInLean

Language Server Indexing Format (LSIF) generator for C, C++ and Objective C

🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.

🌌 Ion language compiler library, powered by LLVM

📚 µGo语言实现(从头开发一个迷你Go语言编译器)[Go版本+Rust版本]

Port of "DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers" to Clang/LLVM 10 and Linux Kernel

Compile javascript to LLVM IR, x86 assembly and self interpreting

🐍 A CLI tool for generating Boost.Python/pybind11 bindings from C/C++

Fork of LLVM with modifications to support a program repository

Monorepo for the OpenCilk compiler, forked from llvm/llvm-project. See the OpenCilk/infrastructure repository for build and installation instructions.

Arch Linux performance important packages

💝 My personal Gentoo/Linux configuration backup files

A set of scripts to build optimized LLVM and binutils toolchains. See https://github.com/kdrag0n/proton-clang for prebuilts.

The Vist programming language

OpenGL/WebGL based Lottie animation player

Here lies the code for the Snow* programming language, currently being rewritten.

LLVM-jitted bitmaps

Julia wrapper for the LLVM C API

LLVM Metadata Visualizer

qcc is a small toy C compiler

OpenWrt Stable 1907 with lean's package

CERE: Codelet Extractor and REplayer

WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.

A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves

A C++17 library for parsing and executing expressions. Allows easy exposure of variables and functions from C++ through built-in reflection functionality.

LLVM-based x86 emulator with support for unlimited virtual registers, used before the register allocation pass

Implementation of IR2Vec, published in ACM TACO

anvill forges beautiful LLVM bitcode out of raw machine code

自定义检查规范的 Clang 插件

A statically typed functional programming language.

Arch Linux PKGBUILD for LLVM, Clang et al. (latest SVN code)

WebAssembly toolchain

Fast, type-safe, object-oriented language by yours truly

.dmJIT is a Rust-based JIT compiler using modified auxtools, dmasm and Inkwell LLVM wrapper for boosting Byond DM performance without any hassle! (formerly known as dm-jitaux)

Brainfuck compiler based on LLVM API

A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain

A scalable High-Level Synthesis framework on MLIR

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Visualization of LLVM IR

Openwrt automatic compilation project of github action

Ocamlgraph overlay for llvm

c compiler based on flex(lex), bison(yacc) and LLVM, supports LLVM IR and obj code generation. 基于flex，bison以及LLVM，使用c++11实现的类C语法编译器, 支持生成中间代码及可执行文件.

Clang-Format Editor is a tool that helps you find the best Clang-Format Style for your C++, C#, Java, JavaScript, and Objective-C code.

The LLVM-based Modula-2 compiler

😇 Wholly Adaptive LLVM Optimizer

A lightweight native GUI for LLDB.

LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)

C++ library for ODE integration via Taylor's method and LLVM

Runtime support for LLVM's GC Statepoints

A Turing complete language 😉

dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends

A Trello clone based on PHP using Laravel 4.2, knockout and twitter bootstrap

Compiler for LightGBM gradient-boosted trees, based on LLVM. Speeds up prediction by ≥10x.

ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.

LLVM C-Api Headers and binaries for Delphi

Type Safe LLVM IR ( Experimental )

Experiemental userspace eBPF library

Program analysis playground for a simple, imperative language

Erdiko framework core components

Obfuscator based on LLVM 12.0.1

TypeScript to LLVM compiler (abandoned)