compiler labSome toy labs for compiler course
Stars: ✭ 49 (+28.95%)
llvm-kaleidoscopeLLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
Stars: ✭ 124 (+226.32%)
Ts LlvmTypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (+505.26%)
CheckedcChecked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, a…
Stars: ✭ 2,692 (+6984.21%)
suicideLLVM pass that detects one undefined behavior, and emits code to delete your hard drive
Stars: ✭ 33 (-13.16%)
nballerina-cppBallerina compiler backend that generates platform-specific executables.
Stars: ✭ 16 (-57.89%)
Llvm[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (+484.21%)
LesmaThe Lesma Programming Language
Stars: ✭ 14 (-63.16%)
Cmake ScriptsA selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (+431.58%)
NxdkThe cross-platform, open-source SDK to develop for original Xbox: *new* xdk
Stars: ✭ 200 (+426.32%)
ChigraphA visual systems language for beginners compiled using LLVM
Stars: ✭ 247 (+550%)
KAIKAI is a distributed computing model written in modern C++ and is cross-plaftorm. Using custom language translators and an executor, KAI provides full reflection, persistence and cross-process communications without having to modify existing source code. KAI Comes with an automated, generational tricolor garbage collector, and Console- and Windo…
Stars: ✭ 13 (-65.79%)
RellicRellic produces goto-free C output from LLVM bitcode
Stars: ✭ 234 (+515.79%)
DachsDachs; A Doggy 🐶 Programming Language
Stars: ✭ 82 (+115.79%)
Spirv Llvm TranslatorA tool and a library for bi-directional translation between SPIR-V and LLVM IR
Stars: ✭ 223 (+486.84%)
NatsuLangNo description or website provided.
Stars: ✭ 96 (+152.63%)
SymbioticSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+457.89%)
homebrew-llvmLLVM formulae for the Homebrew package manager
Stars: ✭ 23 (-39.47%)
MirMir (backports): Sparse tensors, Hoffman
Stars: ✭ 204 (+436.84%)
EffectiveSanRuntime type and bounds-error checking for C/C++
Stars: ✭ 95 (+150%)
clangbuilderBuilding Clang ♡ Utility and Environment
Stars: ✭ 101 (+165.79%)
ReoptA tool for analyzing x86-64 binaries.
Stars: ✭ 190 (+400%)
vicisManipulate LLVM-IR in Pure Rust
Stars: ✭ 194 (+410.53%)
FakepdbTool for PDB generation from IDA Pro database
Stars: ✭ 186 (+389.47%)
Awesome LlvmA curated list of awesome LLVM related docs, tools, and other resources.
Stars: ✭ 184 (+384.21%)
Dr checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Stars: ✭ 251 (+560.53%)
TON-CompilerClang compiler for Free TON Virtual Machine
Stars: ✭ 56 (+47.37%)
Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+536.84%)
vuoA realtime visual programming language for interactive media.
Stars: ✭ 103 (+171.05%)
WeldHigh-performance runtime for data analytics applications
Stars: ✭ 2,709 (+7028.95%)
FastLuaLua trace JIT compiler using LLVM-C
Stars: ✭ 22 (-42.11%)
llrlAn experimental Lisp-like programming language
Stars: ✭ 126 (+231.58%)
KazanMirror; Work-in-progress software-rendering Vulkan implementation
Stars: ✭ 226 (+494.74%)
stutterImplement a Lisp, in C, from scratch, no libs
Stars: ✭ 65 (+71.05%)
OmniscidbOmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+6744.74%)
qbiccExperimental static compiler for Java programs.
Stars: ✭ 118 (+210.53%)
JfsConstraint solver based on coverage-guided fuzzing
Stars: ✭ 215 (+465.79%)
expressiExpression-oriented toy programming language written in Rust
Stars: ✭ 17 (-55.26%)
Pure LangPure programming language
Stars: ✭ 209 (+450%)
AliveAlive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (+436.84%)
SCAFA Speculation-Aware Collaborative Dependence Analysis Framework
Stars: ✭ 25 (-34.21%)
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (+423.68%)
noccA LLVM based self-hosting C compiler
Stars: ✭ 22 (-42.11%)
Kernel-Compile-ScriptThis is a collection of scripts aimed at streamlining the process of kernel compilation for improved efficiency and effectiveness.
Stars: ✭ 20 (-47.37%)
LhcThe LLVM LHC Haskell Optimization System
Stars: ✭ 188 (+394.74%)
lexertkC++ Lexer Toolkit Library (LexerTk) https://www.partow.net/programming/lexertk/index.html
Stars: ✭ 26 (-31.58%)
JlangJLang: Ahead-of-time compilation of Java programs to LLVM
Stars: ✭ 186 (+389.47%)
linuxLinux kernel source tree
Stars: ✭ 234 (+515.79%)
YansollvmYet Another Not So Obfuscated LLVM
Stars: ✭ 180 (+373.68%)
Clang Expand🐉 A clang tool for happy refactoring without source-code gymnastics
Stars: ✭ 182 (+378.95%)
Llvm Guide ZhUser Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)
Stars: ✭ 180 (+373.68%)
vdfA Lexer and Parser for Valves Data Format (known as vdf) written in Go
Stars: ✭ 30 (-21.05%)
tinylangTiny玩具语言(Go语言实现/包含Tiny编译器/CASL汇编器/COMET虚拟机/调试器/支持WebAssembly/LLVM)
Stars: ✭ 61 (+60.53%)
geodeThe Geode Programming Language
Stars: ✭ 16 (-57.89%)