Agda is a dependently typed programming language
Kubernetes-native platform to run massively parallel data/streaming
The most widely used Python to C compiler
A versatile in-browser code editor
LuaRocks is the package manager for the Lua programming language
Fast, and remarkably extensible cross-platform text editor
A purely functional programming language with first class types
A refreshing programming language for the front-end web
A high performance general purpose code execution engine
In-browser code editor (version 5, legacy)
Functional programming language for signal processing
Haskell to VHDL/Verilog/SystemVerilog compiler
Status, process, and documents for ECMA-262
A programming language and an implementation of that language
An incremental parsing system for programming tools
A Framework for Building High Value Public Blockchains
A parser and compiler for the Gherkin language
High level Lua 5.4/5.3/5.2/5.1 and Roblox Luau bindings to Rust
Web Application Framework written in Ruby
Pattern language
Catalog of Elixir-specific code smells
Capstone disassembly/disassembler framework
Yao A low code engine to create web services and dashboard
Count lines of code in multiple languages with detailed statistics
The ultimate polyglot programming experience