8 dépôts
Compiler backends that target native machine code or intermediate languages like C/C++ for high-performance binary generation.
Distinct from Source Code Compilers: Distinct from Source Code Compilers: focuses specifically on the native binary generation aspect of the compilation pipeline.
Explore 8 awesome GitHub repositories matching programming languages & runtimes · Native Code Backends. Refine with filters or upvote what's useful.
Nim is a statically typed, compiled systems programming language designed for high performance and cross-platform development. It translates high-level source code into C, C++, or JavaScript, allowing developers to produce efficient native binaries or web-compatible scripts from a single codebase. The language emphasizes a clean, indentation-based syntax that simplifies code hierarchy while maintaining the power of a full-featured systems language. What distinguishes Nim is its robust metaprogramming framework, which allows developers to inspect, modify, and generate code structures during th
Translate source code into efficient C or C++ to produce high-performance binaries for various platforms.
ChezScheme is a compiler and runtime environment for the Scheme programming language that transforms source code into optimized machine binaries. It serves as a high-performance implementation of the language, producing executable machine code for execution on physical hardware. The project features a native machine code compiler, a read-eval-print loop for executing and editing multi-line expressions in real time via a shell, and a generational garbage collected runtime for automatic memory management. It also includes a foreign function interface for integrating external C libraries and lan
Produces executable machine code via a native compiler for efficient execution on physical hardware.
Haxe is a statically typed, multi-target programming language and open-source compiler toolkit that translates a single codebase into native executables and scripts for JavaScript, C++, C#, Java, Python, Lua, PHP, and Flash targets. It provides a unified type system with automatic type inference, a compile-time macro system for code transformation and generation, conditional compilation directives, and a static analysis engine that enforces null safety and eliminates dead code to produce smaller, safer outputs. The language is supported by the HashLink virtual machine, which executes platform
Converts HashLink bytecode into C source code for native compilation to maximize performance.
OCaml is a strongly typed functional language featuring a sophisticated type system and a focus on safety and expressiveness. It provides a comprehensive compiling toolchain that transforms source code into either portable bytecode or high-performance native binaries. The project is distinguished by a shared memory parallel runtime that executes computations across multiple processor cores using domains, and an algebraic effect system for managing side effects and control flow through execution context handlers. It also includes a dedicated parser generator to automatically create lexers and
Includes native code backends that generate high-performance machine binaries for various target architectures.
kphp-kdb est un moteur de base de données NoSQL et une extension PHP conçus pour les opérations de lecture et d'écriture à haut débit. Il fonctionne comme une couche de persistance intégrée directement dans le runtime PHP, fournissant un système de stockage non relationnel pour les environnements à forte charge. Le projet intègre un compilateur qui traduit le code source PHP dynamique en code C++ typé statiquement. Ce processus élimine la surcharge d'interprétation à l'exécution pour atteindre des vitesses d'exécution natives et une consommation de ressources réduite. Le système exploite des liaisons C++ natives et un moteur de stockage sans schéma pour garantir un accès aux données à faible latence. Ces capacités sont centrées sur le stockage de données à haute charge et l'optimisation de l'exécution PHP par traduction de code statique.
Converts PHP scripts into statically typed C++ code to achieve native execution speeds.
Koka is a statically typed functional programming language featuring an algebraic effect system. It uses a strong type system to verify program correctness and track side effects at compile time. The language is distinguished by a reference counting compiler that transforms source code into native C code, eliminating the need for a tracing garbage collector. It employs perceive-based in-place updates to reduce memory overhead and utilizes tail recursion modulo cons for constant-space data structure construction. The system provides a comprehensive standard library covering numeric operations
Transforms source code into optimized C code for native execution using a reference counting compiler.
IREE is an MLIR-based compiler toolchain and runtime designed to translate machine learning models from various frameworks into optimized binaries for execution across diverse hardware targets. It provides a unified pipeline to ingest models from PyTorch, TensorFlow, JAX, and ONNX, lowering them into a common intermediate representation for deployment on CPUs, GPUs, and bare-metal embedded systems. The project distinguishes itself through a bytecode virtual machine and a hardware abstraction layer that decouple high-level model logic from specific hardware instruction sets. It supports sophis
Generates optimized native machine code from intermediate representations for high-performance execution on target backends.
Oils is a Unix shell interpreter and scripting language runtime that combines a modern shell language with POSIX and Bash compatibility. It functions as a structured data shell, integrating JSON and J8 formats to manage complex data without relying on string parsing. The system is distinguished by a C++ transpiled interpreter that converts a subset of Python source code into strongly typed C++ for high-performance execution. It features a garbage-collected typed runtime that supports prototype-based polymorphism, lexical closures, and reference-based variable mutation. To decouple shell logic
Translates shell runtime logic into C++ to build high-performance native binaries.