Liquid Types For Haskell

Empowering everyone to build reliable and efficient software.

A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support

Pattern language

A VM That is Dynamic and Fast

The Crystal Programming Language

The CompCert formally-verified C compiler

The Swift Programming Language

Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.

A purely functional programming language with first class types

The type signature language for Ruby

Haskell + Lisp

A modern runtime for JavaScript and TypeScript.

C to Python compiler in PHP

⭐️ A friendly language for building type-safe, scalable systems!

The PHP Interpreter

Rust 코드를 컴파일한 후 실행 파일을 온라인 채점 환경에 제출할 수 있도록 변환합니다.

a multi-language bindings generator for rust

자연스러운 한국어를 꿈꾸는 프로그래밍 언어 '찰떡'

Official Haskell IDE support via the language server protocol (LSP)

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

entryjs is visual programming editor for education

The compiler is available for download. Get it!

Object based cross-language FFI for Rust

A statically typed language compatible with Python

Node.js JavaScript runtime ✨🐢🚀✨

🧀 Programmatically modify JavaScript and TypeScript source codes with a simplified, elegant and familiar syntax powered by recast and babel.

어떻게 엄준식이 언어이름이냐🤣