720 Open source projects that are alternatives of or similar to llvm-semantics

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.

Brainfuck compiler based on LLVM API

Type Safe LLVM IR ( Experimental )

LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)

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

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

Design documents related to the decompilation pipeline.

Simple imperative programming language created for fun.

LLVM Metadata Visualizer

A curated list of awesome LLVM related docs, tools, and other resources.

A high level LLVM IR AST provider for GraphEngine JIT.

Haskell bindings for MLIR

Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.

Python class for reading and writing NLLoc grid files.

LLVM Obfuscator

Some common recommendation system baseline, with description and link.

LLVM compile-time performance data over time.

Image2Image Translation Research

OCCAM: Object Culling and Concretization for Assurance Maximization

Important papers and associated code on automatic mixing research

ShowStopper is a tool for helping malware researchers explore and test anti-debug techniques or verify debugger plugins or other solutions that clash with standard anti-debug methods.

👥 轻松创建研究组或组织网站 Easily create a stunning Research Group, Team, or Business Website with no-code

Jdit is a research processing oriented framework based on pytorch. The docs is here!

Provides LLVM binary packages for an (almost) complete Windows build matrix. Built and packaged by GitHub Actions.

Privacy -preserving Neural Networks

Remix for Solana.

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

Materials related to events I might attend, and to talks I am giving

Chromium browser compiled with the Clang/LLVM compiler.

A research project in path semantics, a re-interpretation of functions for expressing mathematics

Work in progress specs for the Star programming language

Electrical Engineering Python Module

Tensorflow implementation of the Manifold Mixup machine learning research paper

Open Optimizing Parallelizing System

Improve the quality of a denovo assembly by scaffolding and gap filling

www.imandra.ai

LLVM frontend for the Forth Language

Multilocus sequence typing by blast using the schemes from PubMLST

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.

This tool translates synthesizable SystemC code to synthesizable SystemVerilog.

Some toy labs for compiler course

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Some personal exploits/pocs

Torture your LLVM Obfuscation

The LLVM LHC Haskell Optimization System

clad -- automatic differentiation for C/C++

Project Free Our Knowledge aims to organise collective action in support of open and reproducible research practices. This repository is used to design new campaigns (using the issues feature) and to build the website (www.freeourknowledge.org).

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

PyTorch Lightning + Hydra. A very user-friendly template for rapid and reproducible ML experimentation with best practices. ⚡🔥⚡

Experiments logging & visualization

Clang-Built Musl Linux From Scratch

PortfolioLab is a python library that enables traders to take advantage of the latest portfolio optimisation algorithms used by professionals in the industry.

Kotlin/Native infrastructure

UNOFFICIAL Python API to interface with Parler.com

The Yu (羽) programming language.

Provides tools for literature snowballing

Programming Accelerators with C++ (PACXX)

Manifest is an investigative toolkit intended for researchers, journalists, students, and scholars interested in visualizing, analyzing, and documenting supply chains, production lines, and trade networks.

Keeping track of activities around research data

Data preprocessing scripts and preprocessed data storage for COVID-19 Scenarios project