cobbler : Repository of Cobbler related functionality.
author: FlossWare
created: 2010-10-27 16:22:35
autoparts cobbler disk-partition kick-start kickstart-counterparts kickstarting-template llvm snippets vms shell


OpenShadingLanguage : Advanced shading language for production GI renderers
author: imageworks
created: 2011-03-10 02:44:05
c-plus-plus computer-graphics computer-language llvm open-shading-language osl shaders shading-language vfx c++


accelerate : Embedded language for high-performance array computations
author: AccelerateHS
created: 2011-04-08 02:50:11
accelerate cuda gpu-computing haskell llvm parallel-computing


Sandbox : Sandbox is a collection of experimental code
author: onlyuser
created: 2011-07-11 01:32:38
backtrace c-plus-plus-11 coroutines fork functor hacks llvm ncurses opengl parser pipe pthreads regex stl tinyxml unicode visitor-pattern xml c++


ldc : The LLVM-based D Compiler.
author: ldc-developers
created: 2011-08-08 17:10:27
compiler d dlang ldc llvm


xchain : A cross compiler toolchain targeting macOS/iOS/etc.
author: Tatsh
created: 2011-09-03 08:05:41
apple c cctools darwin gcc ios llvm macos macosx objective-c toolchain


dstep : A tool for converting C and Objective-C headers to D modules
author: jacob-carlborg
created: 2011-10-01 12:33:12
c clang d libclang llvm objective-c


lhc : The LLVM LHC Haskell Optimization System
author: Lemmih
created: 2012-04-06 15:23:07
compiler haskell llvm


Volta : Compiler for the Volt Programming Language
author: VoltLang
created: 2012-06-24 21:32:05
language llvm volt d


Codeine : Mac OS X IDE For Clang/LLVM
author: macmade
created: 2012-06-29 00:57:45
build-tool c c-plus-plus clang code code-editor compiler developer-tools ide llvm macos objective-c project syntax-highlighting xcode


smack : SMACK Software Verifier and Verification Toolchain
author: smackers
created: 2012-07-30 15:32:57
c c-plus-plus llvm rust smt verification verification-toolchain verifier


ClangKit : ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.
author: macmade
created: 2012-08-12 15:15:33
c c-plus-plus clang code diagnostics llvm objective-c parsing source static-analysis syntax-highlighting tokenization


woboq_codebrowser : Woboq CodeBrowser
author: woboq
created: 2012-10-22 11:19:03
clang llvm woboq c++


pa.llvm : Program Analysis for LLVM
author: codelion
created: 2013-02-08 07:05:58
analysis c-plus-plus llvm c++


KULFI : LLVM Instruction Level Fault Injector
author: soarlab
created: 2013-02-28 21:16:14
fault-injection llvm c++


llvm-d : D bindings for LLVM
author: MoritzMaxeiner
created: 2013-03-14 15:37:11
bindings d llvm


NyuziToolchain : Port of LLVM/Clang C compiler to Nyuzi parallel processor architecture
author: jbush001
created: 2013-04-15 16:05:17
clang compiler gpgpu llvm toolchain c++


brainfuck : An optimizing Brainfuck compiler & interpreter
author: gokselgoktas
created: 2013-07-08 22:37:30
compiler interpreter language llvm programming-language source-to-source turing-completeness c


giri : Dynamic Program Slicing in LLVM Compiler
author: liuml07
created: 2013-07-12 06:31:46
compilers instrumentation llvm program-analysis research-project c++


labrys : A toy language based on LLVM that implements the System Fω type-system
author: kit-ty-kate
created: 2013-08-01 15:05:23
compiler language llvm ocaml programming-language type-system


cclyzer : A tool for analyzing LLVM bitcode using Datalog.
author: plast-lab
created: 2014-01-09 14:59:04
analysis-framework c c-plus-plus datalog llvm pointer-analysis python


compilers-and-llvm : LLVM optimization passes (DCE, LICM), compilers and stuff
author: goyalankit
created: 2014-01-11 02:45:48
compilers dce llvm c++


kolibrios-llvm : KolibriOS ported to LLVM
author: devlato
created: 2014-02-07 23:44:24
kolibrios kolibrios-llvm llvm os portable c


accelerate-llvm : LLVM backend for Accelerate
author: AccelerateHS
created: 2014-02-21 03:26:03
accelerate cuda gpu-computing haskell llvm parallel-computing


coreVM : Language runtime framework designed to empower developers devise modern and novel programming language features.
author: libcxx
created: 2014-02-28 08:21:01
c-plus-plus compiler language language-developers language-features llvm virtual-machine c++


cortex-m-llvm : Cortex M3/M4 with LLVM toolkit
author: martinribelotta
created: 2014-03-06 00:52:57
c clang cortex-m cortex-m3 llvm llvm-toolkit


Dachs : Dachs; A Doggy :dog: Programming Language
author: rhysd
created: 2014-03-18 09:06:15
compiler dog go inu language llvm programming-language c++


command : Very simple information flow aware compiler with Flex, Bison, LLVM, C/C++
author: dfava
created: 2014-04-25 22:48:21
bison c-plus-plus compilers flex information-flow llvm c++


llisp : A Lisp interpreter implemented in LLVM IR
author: spiralman
created: 2014-06-08 02:43:54
functional-programming lisp lisp-interpreter llvm programming-language


mcsema : Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode
author: trailofbits
created: 2014-07-29 23:24:24
aarch64 binary-analysis ida llvm llvm-bitcode llvm-ir x86 x86-64 python


llvmgraph : Ocamlgraph overlay for llvm
author: Drup
created: 2014-08-11 05:10:50
graph llvm ocaml ocamlgraph


symbolic-analysis : Customized symbolic analysis to find pointer analysis bugs
author: sdasgup3
created: 2014-08-29 04:01:46
c-plus-plus checker debugger klee llvm pointer-analysis symbolic-analysis c++


jslang : A Javascript AOT compiler base on LLVM
author: eddid
created: 2014-09-02 01:06:11
aot aot-compilation javascript llvm c


meta-clang : Clang C/C++ cross compiler and runtime for OpenEmbedded/Yocto
author: kraj
created: 2014-09-12 00:20:53
bitbake c clang compilers cross-compiler llvm sdk yocto


decomp : Components of a decompilation pipeline.
author: decomp
created: 2014-09-18 20:33:09
binary-analysis compositional-decompilation decompilation decompilation-pipeline decompiler go golang llvm llvm-ir reverse-engineering


Source-Analyzer : Source Analyzer is a simple clang compiler plugin for source characterizing applications.
author: IT302
created: 2014-09-23 22:27:24
cho clang clang-plugin llvm opencl source-analyzer source-code-analysis c++


moco : The Monty to LLVM compiler
author: MontysCoconut
created: 2014-09-24 09:14:46
compiler llvm monty java


formative.vim : Extended ClangFormat vim integration
author: frasercrmck
created: 2014-10-23 13:21:46
clang-format llvm vim vim-plugin vim script


hummingbird : Typed language compiling to JavaScript & LLVM
author: dirk
created: 2014-11-09 01:15:23
llvm typescript


basic-ir : BASIC լեզվի կոմպիլյատոր LLVM IR լեզվի
author: armenbadal
created: 2014-11-13 05:30:22
compiler llvm parsing c++


flax : Compiled, low-level programming language with LLVM
author: flax-lang
created: 2014-11-14 21:07:34
c-plus-plus compiler flax language language-design llvm programming-language c++


symbiotic : Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
author: staticafi
created: 2014-12-30 17:33:06
instrumentation klee llvm llvm-ir program-slicing program-verification slice slicing software-verification symbolic-execution verification verification-toolchain python


cfl : a Compileable statically typed Functional programming Language
author: burz
created: 2014-12-31 09:56:27
compiler functional-programming interpreter llvm c


calc__llvm_parslet :
author: jonathanhefner
created: 2015-01-08 17:50:31
compiler interpreter llvm parser parslet programming-language ruby


kaleidoscope__llvm_parslet :
author: jonathanhefner
created: 2015-01-08 18:28:50
compiler llvm parser parslet programming-language ruby


vuo : A realtime visual programming language for interactive media.
author: vuo
created: 2015-01-14 04:51:18
c c-plus-plus clang compiler composition glsl graphics graphics-programming graphviz-dot interprocess-communication lgpl llvm mit-license opengl parallel-computing realtime visual-programming-language vj vpls vuo c++


awesome-llvm : A curated list of awesome LLVM related docs, tools, and other resources.
author: HongxuChen
created: 2015-01-14 15:36:14
awesome llvm research shell


LLVMSharp : LLVM bindings for .NET Standard written in C# using ClangSharp (www.clangsharp.org)
author: Microsoft
created: 2015-02-13 23:54:46
llvm llvm-bindings c#


seahorn : SeaHorn Verification Framework
author: seahorn
created: 2015-03-01 05:08:17
abstract-interpretation horn-clauses llvm model-checking verification c


meta : Experimental programming language with imperative compile time metaprogramming
author: VestniK
created: 2015-03-17 02:33:37
llvm c++


saphyr : A C++ like compiler
author: jdm64
created: 2015-03-19 05:19:35
compiler language llvm programming-language c++


bfc : An industrial-grade brainfuck compiler
author: Wilfred
created: 2015-04-19 19:43:23
brainfuck compiler llvm rust


verificarlo : A tool for automatic Montecarlo Arithmetic analysis.
author: verificarlo
created: 2015-04-20 12:52:38
floating-point llvm montecarlo-arithmetic mpfr numerical-analysis precision tool c


jucipp : A lightweight & cross-platform IDE supporting the most recent C++ standards
author: cppit
created: 2015-04-29 12:18:28
cpp14 cpp17 cpp1z ide juci libclang lldb llvm c++


SVF : Pointer Analysis and Program Dependence Analysis for C and C++ Programs
author: SVF-tools
created: 2015-06-05 01:52:24
llvm pointer-analysis points-to-analysis static-analyzer static-code-analysis svf c


cere : CERE: Codelet Extractor and REplayer
author: benchmark-subsetting
created: 2015-06-09 13:28:14
checkpoint-restart llvm openmp optimization replayer tool c


libebpf : Experiemental userspace eBPF library
author: tuxology
created: 2015-06-09 21:14:06
bpf ebpf llvm userspace c


mir : Mir Algorithm, Mir Random, Sparse tensors, Hoffman
author: libmir
created: 2015-06-13 16:59:39
blas glas llvm math mir mir-glas numeric d


DeafShark : The DeafShark Programming Language implemented in Swift, Objective-C++, and LLVM
author: SlayterDev
created: 2015-06-15 18:42:47
apple llvm programming-language proof-of-concept swift


UserGuided-SymbolicExecution : A framework for user-guided symbolic execution (with visualization) of LLVM Bitcode. A demo of the project can be viewed at https://www.youtube.com/watch?v=0VNe4BjjF90
author: shalan12
created: 2015-06-16 18:02:07
llvm symbolic-execution visualization c++


clangbuilder : Building Clang Utility and Environment
author: fstudio
created: 2015-06-27 10:49:11
clang lldb llvm powershell visual-studio visualcpp c++


CppExtract : Tool for exporting C/C++ headers to XML
author: andrewhills
created: 2015-07-15 13:30:32
c clang cpp llvm xml


make-llvm-bitcode-for-javascript : helper script that compiles llvm tools (llvm-as, llvm-dis, opt, etc.) to llvm Bitcode for later transformation into JavaScript by emscripten
author: regular
created: 2015-07-20 20:55:20
emscripten llvm llvm-bitcode c


fcd : An optimizing decompiler
author: zneak
created: 2015-07-31 16:36:21
clang decompiler elf llvm mach-o x86-64 c++


llvm-svn : Arch Linux PKGBUILD for LLVM, Clang et al. (latest SVN code)
author: arch-llvm
created: 2015-08-01 19:26:25
arch-linux aur clang lld lldb llvm pkgbuild shell


llvm-srpm : RPMs for LLVM with /opt/llvm-x.y.z install prefix
author: da-x
created: 2015-08-19 12:50:36
llvm srpm


llvm-demo : A simple example of how LLVM can be used to gather static or dynamic facts about a program.
author: nsumner
created: 2015-08-23 09:00:25
demo llvm c++


crab-llvm : Relocated permanently to https://github.com/seahorn/crab-llvm
author: caballa
created: 2015-09-03 07:31:24
abstract-interpretation invariants llvm program-analysis verification c++


AvalonStudio : Cross platform IDE and Shell
author: VitalElement
created: 2015-09-25 07:30:02
arch-linux avalonia clang cplusplus cross-platform-ide csharp dotnetcore gcc gdb linux llvm macos mono stm32 ubuntu xaml c#


archer : Archer, a data race detection tool for large OpenMP applications
author: PRUNERS
created: 2015-09-29 17:33:18
archer clang llvm llvm-openmp-runtime open-source openmp-applications threadsanitizer-support c


code-clone-detection-llvm-devmtg15-poster : Code Clone Detection in Clang Static Analyzer poster for LLVM Developers' Meeting 2015.
author: kirillbobyrev
created: 2015-10-20 13:35:59
c-plus-plus clang clang-static-analyzer llvm poster research static-analysis tex


remill : Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode
author: trailofbits
created: 2015-10-22 13:54:19
aarch64 instruction-semantics llvm llvm-ir x86 x86-64 c++


swift-llbuild : A low-level build system, used by Xcode and the Swift Package Manager
author: apple
created: 2015-10-23 21:15:45
build-system build-tool llbuild llvm swift c++


Moe : Work in progress compiler inspired by JAI
author: EvCholesky
created: 2015-11-08 06:30:57
bytecode llvm native programming-language type-checked c++


dcc : A Decaf Compiler with some language modifications
author: ParthKolekar
created: 2015-12-07 10:29:54
dcc decaf-compiler decaf-language decaf-specifications llvm c++


Vist : The Vist programming language
author: joewillsher
created: 2015-12-08 00:43:55
language llvm swift


StatefulJit : A minimal experimental JIT compiler that maintains variable state during recompilation
author: weliveindetail
created: 2015-12-18 00:06:09
experimental language llvm stateful c++


nxdk : The cross-platform, open-source SDK to develop for original Xbox: *new* xdk
author: XboxDev
created: 2015-12-22 10:43:15
3d compiler homebrew linker llvm shaders toolchain xbox xboxkrnl xiso c


sbt-instrumentation : Configurable instrumentation of LLVM bitcode
author: staticafi
created: 2015-12-23 09:42:12
code-instrumentation dangling-pointer-detection instrumentation llvm llvm-instrumentation memory-leak-detection memory-safety null-check runtime-checking c++


lyca : programming language compiler w/ llvm
author: kzh
created: 2016-01-03 21:36:24
compiler llvm programming-language go


cling : The cling C++ interpreter
author: root-project
created: 2016-01-07 14:45:35
c-plus-plus clang interpreter jupyter llvm c++


swiftweekly.github.io : A community-driven weekly newsletter about Swift.org
author: SwiftWeekly
created: 2016-01-12 04:31:06
blog clang llbuild lldb llvm news newsletter swift swift-corelibs-dispatch swift-corelibs-foundation swift-language swift-package-manager html


nlvm : LLVM-based compiler for the Nim language
author: arnetheduck
created: 2016-01-19 13:51:23
compiler language llvm nim


Pedigree : LLVM dependence graphs
author: compor
created: 2016-01-21 16:01:43
dependence-graph graph llvm llvm-ir pass pdg c++


tagua-vm : Tagua VM is an experimental PHP Virtual Machine that guarantees safety and quality by removing large classes of vulnerabilities thanks to the Rust language and the LLVM Compiler Infrastructure.
author: tagua-vm
created: 2016-02-10 13:25:10
llvm php rust tagua-vm virtual-machine


checkedc : Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.
author: Microsoft
created: 2016-02-23 17:47:40
c clang llvm microsoft programming-language system-programming


Cardinal : Similarity Analysis to Defeat Malware Compiler Variations
author: syreal17
created: 2016-02-25 16:11:50
bloom-filter cardinalities cpc ida isocompiler-modulation malware-analysis malware-research optimization similarity-measurement similarity-score test-harness llvm


compiler-demo-101 : Compiler Design Overview workshop materials
author: lejenome
created: 2016-03-02 13:07:27
bison flex gcc lex lexer llvm parser yacc


kscope : LLVM's Kaleidoscope Toy Language to Lua Transpiler
author: wqweto
created: 2016-03-02 15:35:26
compiler dsl llvm lua


leekscript : A dynamically typed, compiled just-in-time programming language used in Leek Wars' AIs
author: leek-wars
created: 2016-03-07 19:14:55
compiler cpp jit langage leek-wars leekwars llvm programming-language c++


JitFromScratch : Example project from my talks in the LLVM Social Berlin and C++ User Group
author: weliveindetail
created: 2016-03-14 12:33:27
examples jit linux llvm osx windows


LLCCEP : Low-level code compilation execution platform
author: Andrew-Bezzubtsev
created: 2016-03-28 10:14:08
aot aot-compilation compiler jit jit-aot llvm platform virtual-machine c++


juce_faustllvm : JUCE Module for the libfaust JIT compiler
author: olilarkin
created: 2016-03-31 08:40:49
faust juce llvm c++


Fun : Язык программирования Fun
author: Ingener74
created: 2016-04-05 10:23:57
cmake ffi jit llvm programming-language c++


ck-dev-compilers : Collective Knowledge packages to build development versions of compilers (LLVM, GCC, etc) and use them in customizable and portable CK research workflows:
author: ctuning
created: 2016-04-25 13:28:02
android collaborative-research collective-knowledge compilers customizable-workflows gcc json-api json-metadata linux llvm open-research package-manager packages windows shell


LLVM-Project : Class project from the CSCI-565: Compiler Design course at USC
author: henrydyc
created: 2016-05-13 05:03:13
compiler llvm c


mull : Mutation testing system built on top of LLVM.
author: mull-project
created: 2016-05-15 19:08:23
c c-plus-plus jit llvm mutation-analysis mutation-testing rust swift c++


kotlin-native : Kotlin/Native infrastructure
author: JetBrains
created: 2016-05-16 18:40:45
c compiler kotlin llvm objective-c


doc : Design documents related to the decompilation pipeline.
author: decomp
created: 2016-05-24 23:21:38
control-flow-analysis decompilation decompilation-pipeline decompiler llvm llvm-ir type-analysis tex


protosnirk : The beginnings of a programming language
author: snirk-lang
created: 2016-05-27 16:52:04
llvm programming-language rust


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more