Sea DsaA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-50%)
Proton ClangProton Clang toolchains builds in the form of a continuously updating Git repository. Clone with --depth=1.
Stars: ✭ 126 (-30%)
SbclMirror of Steel Bank Common Lisp (SBCL)'s official repository
Stars: ✭ 1,305 (+625%)
NngenNNgen: A Fully-Customizable Hardware Synthesis Compiler for Deep Neural Network
Stars: ✭ 149 (-17.22%)
CperlA perl5 with classes, types, compilable, company friendly, security
Stars: ✭ 125 (-30.56%)
Ts Type InfoTypeScript AST and code generator [Deprecated]
Stars: ✭ 90 (-50%)
YapypyYet another Python Python
Stars: ✭ 77 (-57.22%)
VoltaCompiler for the Volt Programming Language
Stars: ✭ 118 (-34.44%)
CodecheckerCodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Stars: ✭ 1,209 (+571.67%)
Swcswc is a super-fast compiler written in rust; producing widely-supported javascript from modern standards and typescript.
Stars: ✭ 18,627 (+10248.33%)
VabV Android Bootstrapper
Stars: ✭ 77 (-57.22%)
Coq Of OcamlImport OCaml programs to Coq 🐓 🐫
Stars: ✭ 117 (-35%)
ParserA lexer and parser for GraphQL in .NET
Stars: ✭ 163 (-9.44%)
Metareflect Metareflect is a lightweight reflection system for C++, based on LLVM and Clangs libtooling.
Stars: ✭ 125 (-30.56%)
AstqAbstract Syntax Tree (AST) Query Engine
Stars: ✭ 89 (-50.56%)
Shadow RsA build-time information stored in your rust project.(binary,lib,cdylib,dylib)
Stars: ✭ 117 (-35%)
Method logTrace the history of an individual method in a git repository (experimental)
Stars: ✭ 73 (-59.44%)
NativejsxJSX to native DOM API transpilation. 💛 <div> ⟹ document.createElement('div')!
Stars: ✭ 145 (-19.44%)
HobbyscriptYet Another JVM/LLVM Dynamic Language (LLVM Backend WIP)
Stars: ✭ 72 (-60%)
GopherjsA compiler from Go to JavaScript for running Go code in a browser
Stars: ✭ 10,721 (+5856.11%)
LensLanguage for Embeddable .NET Scripting
Stars: ✭ 71 (-60.56%)
Libpypalibpypa is a Python parser implemented in pure C++
Stars: ✭ 172 (-4.44%)
ChirpA modern low-level programming language
Stars: ✭ 116 (-35.56%)
TasmocompilerWeb GUI for custom Tasmota compilation
Stars: ✭ 143 (-20.56%)
Jsx Ast UtilsAST utility module for statically analyzing JSX
Stars: ✭ 89 (-50.56%)
Llvm8Statically recompiling CHIP8 to Windows and macOS using LLVM
Stars: ✭ 71 (-60.56%)
Ruccrucc is a tiny toy C compiler in Rust.
Stars: ✭ 115 (-36.11%)
Elena LangELENA is a general-purpose language with late binding. It is multi-paradigm, combining features of functional and object-oriented programming. Rich set of tools are provided to deal with message dispatching : multi-methods, message qualifying, generic message handlers, run-time interfaces
Stars: ✭ 161 (-10.56%)
GitbaseSQL interface to git repositories, written in Go. https://docs.sourced.tech/gitbase
Stars: ✭ 1,955 (+986.11%)
SysSys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (-17.22%)
McscriptA programming language for Minecraft Vanilla
Stars: ✭ 124 (-31.11%)
FeralFeral programming language reference implementation
Stars: ✭ 89 (-50.56%)
Crossshader⚔️ A tool for cross compiling shaders. Convert between GLSL, HLSL, Metal Shader Language, or older versions of GLSL.
Stars: ✭ 113 (-37.22%)
CclyzerA tool for analyzing LLVM bitcode using Datalog.
Stars: ✭ 67 (-62.78%)
Shaderc RsRust bindings for the shaderc library.
Stars: ✭ 143 (-20.56%)
ContracodeContrastive Code Representation Learning: functionality-based JavaScript embeddings through self-supervised learning
Stars: ✭ 66 (-63.33%)
Ccompilerc语言编译器,用 lex 和 yacc 工具完成词法分析与语法分析并生成语法树,C++实现了语 法树的解析并生成中间代码,生成中间代码的过程中实现了错误检测。C++实 现了中间代码的优化操作。之后利用 python 对中间代码进行处理并生成 mips 汇编码并且可以成功在 PCSpim(mips 模拟器)上运行。
Stars: ✭ 113 (-37.22%)
CerticoqA Verified Compiler for Gallina, Written in Gallina
Stars: ✭ 66 (-63.33%)
Sim CA dynamically typed high-level front end for C
Stars: ✭ 145 (-19.44%)
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 (-31.67%)
DiffsitterA tree-sitter based AST difftool to get meaningful semantic diffs
Stars: ✭ 89 (-50.56%)
Go2astTransform Go code into it's AST
Stars: ✭ 65 (-63.89%)
Opcde2017Slides and very basic examples
Stars: ✭ 112 (-37.78%)
Optviewer DemoDemonstration of LLVM's opt-viewer tool
Stars: ✭ 63 (-65%)
React Astrender abstract syntax trees with react
Stars: ✭ 160 (-11.11%)
KouA minimal language compiled into wasm bytecode
Stars: ✭ 112 (-37.78%)
WhackThe Whack Programming Language
Stars: ✭ 61 (-66.11%)
Crab LlvmStatic Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 143 (-20.56%)
UaisoA multi-language parsing infrastructure with an unified AST
Stars: ✭ 86 (-52.22%)
Typelang🌳 A tiny language interpreter implemented purely in TypeScript's type-system
Stars: ✭ 149 (-17.22%)
Ghc GrinGRIN backend for GHC
Stars: ✭ 123 (-31.67%)
MalcMal (Make A Lisp) compiler
Stars: ✭ 85 (-52.78%)
MrustcAlternative rust compiler (re-implementation)
Stars: ✭ 1,263 (+601.67%)
Math EngineMathematical expression parsing and calculation engine library. 数学表达式解析计算引擎库
Stars: ✭ 123 (-31.67%)
I PascalA free Object Pascal language plugin for IntelliJ IDEA
Stars: ✭ 85 (-52.78%)
Voyager Zh㊙️voyager 的中文汉化版 基于laravel 的管理后台 权限控制,菜单,数据库手脚架,长期更新
Stars: ✭ 84 (-53.33%)