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

programming language compiler w/ llvm

OpenGL/WebGL based Lottie animation player

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

Fully customizable UI Component for verification codes written in swift with RxSwift support!

Port of http_parser to llparse

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

The Language for Smart Legal Contracts

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Woboq CodeBrowser

Static Analyzer for LLVM bitcode based on Abstract Interpretation

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

The Eldarica model checker

The LLVM-based D Compiler.

PCIe (1.0a to 2.0) Virtual host model for verilog

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

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

✉️ ✅ A Fast and Free Email Verification API written in Go

The LLVM-based Modula-2 compiler

TLA+ language support for Visual Studio Code

A lightweight native GUI for LLDB.

Source code of basic Xilinx Vivado HLS image processing tutorial using HLS openCV functions

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

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

An NPM package to generate captcha images that can be used in Discord bots or various other projects

A lightweight & cross-platform IDE supporting the most recent C++ standards. This project has moved to https://gitlab.com/cppit/jucipp.

Verify code input. You can create a verify code input.

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

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

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

Graph-based Program Representation & Models for Deep Learning

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

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

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

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

Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

[Deprecated] Typescript-version of the IN3 client.

A portable programming language

Python interface for MLIR - the Multi-Level Intermediate Representation

Embedded language for high-performance array computations

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

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

Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs

source code for savior fuzzer

Repository hosting unofficial binary pack files for many commits of LLVM

Library for interacting with LLVM IR in pure Go.

A tool for debugging and assessing floating point precision and reproducibility.

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

Program analysis playground for a simple, imperative language

🐫 Practical statically typed functional programming language implementation with Go and LLVM

Mir (backports): Sparse tensors, Hoffman

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

The LLVM LHC Haskell Optimization System

User Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)

Homepage Theorem Proving in Lean FAQ

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

C to Go Assembly