Lean 4 programming language and theorem prover
Compiler infrastructure and toolchain library for WebAssembly
Style React fast with 100% parity on React Native
cuda-oxide is an experimental Rust-to-CUDA compiler
The compiler for Teal, a typed dialect of Lua
Multi-platform high-performance compute language extension for Rust
clangd language server
Compiler for Clojure that targets JavaScript
Objeck is a modern object-oriented programming language
Java to Closure JavaScript transpiler
A purely functional programming language with first class types
Opal is a Ruby to JavaScript source-to-source compiler
The cross-platform toolkit
A small, fast, pure JavaScript type-stripper
The Lux Programming Language
Implement GraphQL servers and gateways with Fastify
A collection of tools, libraries, and tests for Vulkan shader
A free and open development kit for the Sega Mega Drive
The Scala 3 compiler, also known as Dotty
Collection of TypeScript type challenges with online judge
Manifold is a Java compiler plugin, features include Metaprogramming
PeachPie, the PHP compiler and runtime for .NET and .NET Core
Compiler and IDE that enables users to build Ethereum contracts
Haskell to VHDL/Verilog/SystemVerilog compiler
Develop desktop GUI applications using PHP, HTML5, JavaScript