Compiler for the Vale programming language - http://vale.dev/
Repository Index
86,576 visible repositories in the index
49–72 of 85 · Most stars
Compiler for multiple programming models (SYCL, C++ standard parallelism, HIP/CUDA) for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous programming models. Lets applications adapt themselves to all the hardware in the system - even at runtime!
- sycl
- gpgpu
- high-performance
- gpu-computing
Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
TranslatedThe Wa Programming Language
- programming-language
- wa
- language
- wa-lang
ILGPU JIT Compiler for high-performance .Net GPU programs
Open-source CUDA, Triton and HIP compiler targeting multiple GPU and CPU architectures.
The Lux Programming Language
- language
- programming-language
- macros
- functional-programming
High-performance automatic differentiation of LLVM and MLIR.
- enzyme
- llvm
- ad
- automatic-differentiation
Siri Shortcuts Programming Language 🍒
- compiler
- ios-shortcuts
- programming-language
- siri-shortcuts
The core software distribution for the Inform 7 programming language.
- interactive-fiction
- natural-language
- programming-language
JetBrains Meta programming System
- domain-specific-language
- dsl
A little language inspired by Rust that compiles to Go
- compiler
- go
- programming-language
- rust
Systems language with linear types and capability-based security.
- linear-types
- compiler
- capabilities
基于 Roslyn 的 C# 动态程序集构建库,该库允许开发者在运行时使用 C# 代码构建域 / 程序集 / 类 / 结构体 / 枚举 / 接口 / 方法等,使得程序在运行的时候可以增加新的模块及功能。Natasha 集成了域管理/插件管理,可以实现域隔离,域卸载,热拔插等功能。 该库遵循完整的编译流程,提供完整的错误提示, 可自动添加引用,完善的数据结构构建模板让开发者只专注于程序集脚本的编写,兼容 stanadard2.0 / netcoreapp3.0+, 跨平台,统一、简便的链式 API。 且我们会尽快修复您的问题及回复您的 issue.
- il
- csharp
- roslyn
- script
Concrete: TFHE Compiler that converts python programs into FHE equivalent
- fhe
- tfhe
- homomorphic-encryption
- homomorphic-encryption-library
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
An esoteric programming language, come se fosse antani.
Rust virtual machine and JIT compiler for eBPF programs
- jit-compiler
- ebpf
- ebpf-programs
- rust
A PHP-to-native compiler. Takes a subset of PHP - including eval() - and compiles it directly to native assembly, producing standalone binaries for macOS ARM64, Linux ARM64, and Linux x86_64. No VM, no external runtime, no dependencies: dynamic eval falls back to an optional statically linked interpreter.
Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.
A modern supercompiler for call-by-value functional languages
The new generation Pascal programming language for .NET
A language where the code is written with folders
- esolang
- esoteric-language
- esoteric-programming-language
- programming-language
A high-performance engine for matrix math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra