23 Repositories
Rust llvm-ir Libraries
ClangQL is a tool that allow you to run SQL-like query on C/C++ Code instead of database files using the GitQL SDK
ClangQL - Clang AST Query Language ClangQL is a tool that allow you to run SQL-like query on C/C++ Code instead of database files using the GitQL SDK.
A AMD64 code generator (like LLVM)
A libary to generate x86-64Bit machine code Error: Jit dosn't work Warning: this libary is currently undergoing big changes so don't use in production
🛠️ An experimental functional systems programming language, written in Rust and powered by LLVM as a backend.
An experimental functional systems programming language, written in Rust, and powered by LLVM as a backend. 🎯 Goal: The intent is to create a program
An interpreter and compiler for the Brainfuck language.
Brainrust 🧠 An interpreter and compiler for the Brainfuck language. Prerequisites You need a LLVM 16.0.* installation on your system. On Windows, you
More beautiful HTML reports for llvm-cov/cargo-llvm-cov
💄 llvm-cov-pretty More beautiful HTML reports for llvm-cov (cargo-llvm-cov specifically). Dark theme support (switches automatically based on your br
Rust bindings to LLVM's `SanitizerCoverage` interface
sancov Rust bindings to LLVM's SanitizerCoverage interface. About Rust bindings to LLVM's SanitizerCoverage interface. Using these bindings allows you
lelang programming language is a toy language based on LLVM.
lelang leang是一门使用Rust编写,基于LLVM(inkwell llvm safe binding library)实现的编程语言,起初作为课程实验项目,现在为个人长期维护项目。 Target Features 支持8至64位的整形类型和32/64位浮点 基本的函数定义,调用,声明外部
A cargo subcommand that displays the assembly generated for Rust source code
cargo-show-asm A cargo subcommand that displays the assembly generated for Rust source code.
LLVM-CBE is a C-backend for LLVM, i.e. a tool that turns LLVM bitcode 1 into C
LLVM-CBE is a C-backend for LLVM, i.e. a tool that turns LLVM bitcode 1 into C. It requires to be built near LLVM, which was found to be so heavy dependency that shipping it as Cargo crate would be absurd.
The orez programming language (a toy langauge for now obviously)
orezc The main repository for the orez programming language (a toy langauge for now obviously) Yes I've looked into the rust compiler, if you are curi
(Toy) Compiler Infrastructure influenced by LLVM written in Rust
Sericum Compiler Infrastructure influenced by LLVM written in Rust Do not expect too much stuff! To Do Implement basic block parameters Make it possib
LLVM tutorial in Rust language
Status Everything works. State corresponds to the Chapter 7 of the original tutorial (i.e. mutable variables implemented). TODO list. LLVM tutorial in
Inkwell - It's a New Kind of Wrapper for Exposing LLVM (Safely)
Inkwell(s) It's a New Kind of Wrapper for Exposing LLVM (Safely) Inkwell aims to help you pen your own programming languages by safely wrapping llvm-s
An esoteric language/compiler written with Rust and Rust LLVM bindings
MeidoLang (メイドラング) A not so useful and esoteric language. The goal of this project was to contain some quirky or novel syntax in a stack-style program
Symbolic execution of LLVM IR with an engine written in Rust
haybale: Symbolic execution of LLVM IR, written in Rust haybale is a general-purpose symbolic execution engine written in Rust. It operates on LLVM IR
PyQIR is a set of APIs for generating, parsing, and evaluating Quantum Intermediate Representation (QIR).
PyQIR PyQIR is a set of APIs for generating, parsing, and evaluating Quantum Intermediate Representation (QIR). It consists of the following component
mollusc is a collection of pure-Rust libraries for parsing, interpreting, and analyzing LLVM.
mollusc is a collection of pure-Rust libraries for parsing, interpreting, and analyzing LLVM.
Program analysis playground for a simple, imperative language
Proggers Proggers is a program analysis playground for a simple, imperative language. Features Numerical analysis using abstract interpretation Type-c
Gecko is a high-level, general-purpose programming language built on top of the LLVM project.
Gecko is a high-level, general-purpose programming language built on top of the LLVM project. Gecko Technology & principles Gecko is a general-purpose
dm-jitaux is a Rust-based JIT compiler using modified auxtools, dmasm and Inkwell LLVM wrapper for boosting Byond DM performance without any hassle!
dm-jitaux is a Rust-based JIT compiler using modified auxtools, dmasm and Inkwell LLVM wrapper for boosting Byond DM performance without any hassle (such as rewriting/refactroing your DM code).
High-performance automatic differentiation of LLVM.
The Enzyme High-Performance Automatic Differentiator of LLVM Enzyme is a plugin that performs automatic differentiation (AD) of statically analyzable
High-performance runtime for data analytics applications
Weld Documentation Weld is a language and runtime for improving the performance of data-intensive applications. It optimizes across libraries and func
High-performance runtime for data analytics applications
Weld Documentation Weld is a language and runtime for improving the performance of data-intensive applications. It optimizes across libraries and func