Ezno is a JavaScript compiler and checker written in Rust with a focus on static analysis and runtime performance. At its core, Ezno is a JavaScript type checker that prevents errors at runtime. Features: JavaScript type checker with optional compiler infrastructure (parser, CLI, LSP, etc.) Written in Rust Fully typed programs, guaranteed […]
It is a domain-specific language designed for fast, private and secure application development (DSL).After years of in-depth research on post-quantum zero-knowledge cryptography, we created Keelung for developers to create secure and trusted post-quantum zero-knowledge proofs without professional cryptography skills. Keelung and its compiler are installed on Haskell. With the protection of Haskell, developers can write
Compass Optimizer, for shortOPTis a part of Zhouyi Compass Neural Network Compiler (Python package named AIPUBuilder) tool chain, mainly responsible for theCompass Unified ParserThe intermediate representation (IR) of the converted floating-point model is further optimized (through quantization, calculation graph optimization, etc.) to be a quantized model or a mixed-precision model intermediate representation suitable for execution
AMD-Xilinx recently open-sourced their LLVM-based Nanotube compiler. According to the introduction, the AMD-Xilinx Nanotube compiler takes eBPF XDP C code and builds on top of the LLVM compiler stack, which can then generate a packet processing pipeline in HLS C++ that can run on Xilinx FPGAs. Nanotube is a collection of compiler channels, libraries and
AMD-Xilinx Open Source LLVM-Based Nanotube Compiler- News Fast Delivery Read More »
Nanotube is a collection of compiler channels, libraries and APIs to facilitate the execution of EBPF XDP and similar networking code on SmartNIC’s FPGA. The compiler takes as input EBPF XDP C code and outputs a packet processing pipeline in HLS C++. This HLS C++ code can then be synthesized using Vitis HLS and placed
Nanotube Homepage, Documentation and Downloads- LLVM-based Compiler- News Fast Delivery Read More »
JetBrains updated Kotlin roadmap for 2023. The latest roadmap focuses on the following work: K2 compiler: A rewrite of the Kotlin compiler, optimized for speed, parallelism, and uniformity, and bringing many expected language features. K2-based IntelliJ plugin: mainly faster code completion, highlighting and searching, and more stable code analysis. Kotlin Multiplatform Mobile:… #Kotlin #Published #Roadmap
Kotlin Published 2023 Roadmap: K2 Compiler, Well Documented Tutorials… Read More »
Codon is aA high-performance Python compiler that compiles Python code to native machine code without any runtime overhead. Typical speedups for Python are on the order of 10-100x or more on a single thread,Performance is generally comparable to that of C/C++.But unlike Python, Codon supports native multithreading, which can make it many times faster. Codon
Nick Cameron is a principal engineer responsible for Rust development at Microsoft and was previously a member of the Rust core development team. He wrote 3 months ago: “Top 10 Rust Challenges“, saying that this is a problem that Rust should solve in 2023. Last week, he published another article: “Rust in 2023”, expressing his
In early 2017, Microsoft announcedopen sourcetheir DirectX shader compiler (DirectX Shader Compiler); and later, in 2018, build support on Linux. Today, Microsoft announced that it is starting to provide official Linux binaries of its DirectX shader compiler. The latest December 2022 DX compiler release marks the first time it has full Linux binaries as part
Microsoft Starts Providing DirectX Shader Compiler Linux Binaries Read More »
Summary:This article focuses on several ways to improve program performance by optimizing Cache usage. This article is shared from HUAWEI CLOUD community “Things about Compiler Optimization (7): Cache Optimization”, author: Assistant Bi Sheng. introduction Software developers often expect computer hardware to have unlimited capacity, zero access delay, unlimited bandwidth, and cheap memory, but the reality
Zig 0.10.0 has been officially released. Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. Zig 0.10.0 is a major update with a 10-month development cycle and 4737 commits from 272 contributors. The biggest highlight, of course, was the debut of the self-hosted compiler. The big highlight of this
Zig 0.10.0 is officially released, and the self-hosted compiler makes its debut! Read More »
TypeRunner is a high-performance TypeScript compiler. Goals Parser Type Checking (as CLI and Library) Language Server Interactive Type Debugging Input Information in Other Languages (Optional) Translate to JavaScript (Optional) RTTI in JavaScript (Optional) Type Analyzer Additionally, enable TypeScript type checking Be as fast as possible and provide a native library for other languages so they
While LLVM Clang is increasingly being used by developers and organizations to build mainline Linux kernels, it seems to be forgetting that as a complement to the long-dominant GCC compiler target, Intel’s ICC compiler can also Used to build Linux kernels (though not widely used). Because of this, the kernel developers are now considering removing
Dropping support, Linus: No one has really used the Intel ICC compiler Read More »
langcc is a tool that takes a formal description of a language in a standard BNF-style format and automatically generates a compiler front end, including the language’s Abstract Syntax Tree (AST) and traversed data structure definitions, a dictionary, a parser, and A pretty-printer. langcc is also a companion software implementation of the following technical reports
