Awesome GitHub RepositoriesNative Code Backends

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

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

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

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

kphp-kdb 是一个专为高吞吐量读写操作设计的 NoSQL 数据库引擎和 PHP 扩展。它作为直接集成到 PHP 运行时中的持久化层，为高负载环境提供了一个非关系型存储系统。 该项目包含一个编译器，可将动态 PHP 源代码转换为静态类型的 C++ 代码。此过程消除了运行时解释开销，从而实现了原生执行速度并降低了资源消耗。 该系统利用原生 C++ 绑定和无模式（schema-less）存储引擎来确保低延迟的数据访问。这些功能的核心在于高负载数据存储以及通过静态代码转换优化 PHP 执行。

Koka 是一种具有代数效应系统的静态类型函数式编程语言。它使用强大的类型系统在编译时验证程序正确性并跟踪副作用。 该语言的特点是采用引用计数编译器，将源代码转换为原生 C 代码，消除了对跟踪垃圾回收器的需求。它采用基于感知的就地更新来减少内存开销，并利用尾递归模 cons 进行常量空间数据结构构建。 该系统提供了一个全面的标准库，涵盖了具有任意精度算术的数值运算、具有高效视图的字符串处理以及用于无限结构的共感数据建模。它还包括对硬件采样执行分析的内置支持，以及用于处理异常和异步流的可组合机制。

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