Friceengine🎮 JVM game engine based on Swing/JavaFX.
Stars: ✭ 330 (+94.12%)
NatsuLangNo description or website provided.
Stars: ✭ 96 (-43.53%)
TreLLVM backed progamming language (Go subset)
Stars: ✭ 100 (-41.18%)
LesmaThe Lesma Programming Language
Stars: ✭ 14 (-91.76%)
SmackSMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (+79.41%)
EffectiveSanRuntime type and bounds-error checking for C/C++
Stars: ✭ 95 (-44.12%)
StoatSTatic (LLVM) Object file Analysis Tool
Stars: ✭ 44 (-74.12%)
vicisManipulate LLVM-IR in Pure Rust
Stars: ✭ 194 (+14.12%)
JitfromscratchExample project from my talks in the LLVM Social Berlin and C++ User Group
Stars: ✭ 158 (-7.06%)
ChigraphA visual systems language for beginners compiled using LLVM
Stars: ✭ 247 (+45.29%)
Speedy.jsAccelerate JavaScript Applications by Compiling to WebAssembly
Stars: ✭ 300 (+76.47%)
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 (+1483.53%)
RellicRellic produces goto-free C output from LLVM bitcode
Stars: ✭ 234 (+37.65%)
Clang Power ToolsBringing clang-tidy magic to Visual Studio C++ developers.
Stars: ✭ 285 (+67.65%)
Ts LlvmTypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (+35.29%)
FaustFunctional programming language for signal processing and sound synthesis
Stars: ✭ 1,360 (+700%)
Spirv Llvm TranslatorA tool and a library for bi-directional translation between SPIR-V and LLVM IR
Stars: ✭ 223 (+31.18%)
SeahornSeaHorn Verification Framework
Stars: ✭ 270 (+58.82%)
Llvm[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (+30.59%)
TinygoGo compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
Stars: ✭ 9,068 (+5234.12%)
SymbioticSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+24.71%)
OlifantA simple programming language targeting LLVM
Stars: ✭ 58 (-65.88%)
Cmake ScriptsA selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (+18.82%)
Llvm UtilsLLVM/Clang for Visual Studio 2019, 2017, 2015, 2013, 2012 and 2010. clang-cl for Python3 distutils. Utils for Clang Static Analyzer
Stars: ✭ 123 (-27.65%)
MirMir (backports): Sparse tensors, Hoffman
Stars: ✭ 204 (+20%)
Ruscall自作言語処理系のコンパイラ制作
Stars: ✭ 41 (-75.88%)
NxdkThe cross-platform, open-source SDK to develop for original Xbox: *new* xdk
Stars: ✭ 200 (+17.65%)
Llvm To SnesLLVM IR → WLA DX (ASM 65c816) → SNES Rom
Stars: ✭ 39 (-77.06%)
ReoptA tool for analyzing x86-64 binaries.
Stars: ✭ 190 (+11.76%)
KRFAnalysisCollection of LLVM passes and triage tools for use with the KRF fuzzer
Stars: ✭ 26 (-84.71%)
FakepdbTool for PDB generation from IDA Pro database
Stars: ✭ 186 (+9.41%)
XchainA cross compiler toolchain targeting macOS/iOS/etc.
Stars: ✭ 95 (-44.12%)
Awesome LlvmA curated list of awesome LLVM related docs, tools, and other resources.
Stars: ✭ 184 (+8.24%)
AliveInLeanFormally verified implementation of Alive in Lean
Stars: ✭ 30 (-82.35%)
Clang Expand🐉 A clang tool for happy refactoring without source-code gymnastics
Stars: ✭ 182 (+7.06%)
Constexpr EverythingRewrite C++ code to automatically apply `constexpr` where possible
Stars: ✭ 178 (+4.71%)
clang-format-editorClang-Format Editor is a tool that helps you find the best Clang-Format Style for your C++, C#, Java, JavaScript, and Objective-C code.
Stars: ✭ 15 (-91.18%)
Webassembly ExamplesFrom Simple To Complex. A complete collection of webassembly examples.
Stars: ✭ 177 (+4.12%)
Crab LlvmStatic Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 143 (-15.88%)
Cheerp LlvmLegacy repo, migrated to cheerp-compiler monorepo
Stars: ✭ 174 (+2.35%)
llvm-brainfuckBrainfuck compiler based on LLVM API
Stars: ✭ 27 (-84.12%)
DaggerBinary Translator to LLVM IR
Stars: ✭ 174 (+2.35%)
RemiPython REMote Interface library. Platform independent. In about 100 Kbytes, perfect for your diet.
Stars: ✭ 2,943 (+1631.18%)
dmr cdmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
Stars: ✭ 45 (-73.53%)
RayforkC99 Game Library. XNA-like. Single source. Platform Independent. Allocator Aware.
Stars: ✭ 215 (+26.47%)
Llvm Sys.rsRust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)
Stars: ✭ 93 (-45.29%)
snowstarHere lies the code for the Snow* programming language, currently being rewritten.
Stars: ✭ 31 (-81.76%)
McsemaFramework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Stars: ✭ 2,198 (+1192.94%)
ClingThe cling C++ interpreter
Stars: ✭ 2,322 (+1265.88%)
LlvmFork of the LLVM Compiler Infrastructure
Stars: ✭ 155 (-8.82%)
Tapir LlvmTapir extension to LLVM for optimizing Parallel Programs
Stars: ✭ 109 (-35.88%)
CclyzerA tool for analyzing LLVM bitcode using Datalog.
Stars: ✭ 67 (-60.59%)
Multi Os EngineMulti-OS Engine: Create iOS Apps in Java (or Kotlin ... etc.)
Stars: ✭ 529 (+211.18%)
CMLFSClang-Built Musl Linux From Scratch
Stars: ✭ 51 (-70%)