- Навигация
- Назад
crystal.md
Пусто
Coq
The Coq system is a proof assistant. It is designed to build and verify mathematical proofs. The Coq system contains the functional programming language Gallina and is capable of proving properties about programs written in this language.
Compojure
Compojure is a DSL for quickly creating performant web applications in Clojure with minimal effort:
common-lisp.md
Common Lisp - мультипарадигменный язык программирования общего назначения, подходящий для широкого спектра задач. Его частенько называют программируемым языком программирования.
ColdFusion
ColdFusion is a scripting language for web development. Read more here.
coffeescript.md
CoffeeScript - это небольшой язык, который компилируется один-в-один в эквивалентный код на языке JavaScript, а потому он не интерпретируется во время исполнения JavaScript кода. Ключевой особенностью CoffeeScript является то, что он пытается создать читабельный, качественно оформленный и плавный JavaScript код, прекрасно работающий в любой среде JavaScript.
COBOL
COBOL is a business-oriented language revised multiple times since its original design in 1960.
CMake
CMake is a cross-platform, open-source build system. This tool allows you to test, compile, and create packages of your source code.
clojure.md
Clojure — это представитель семейства Lisp-подобных языков, разработанный для Java Virtual Machine. Язык идейно гораздо ближе к чистому функциональному программированию, чем его прародитель Common Lisp, но в то же время обладает набором инструментов для работы с состоянием, таких как STM.
Clojure macros
As with all Lisps, Clojure’s inherent homoiconicity gives you access to the full extent of the language to write code-generation routines called «macros». Macros provide a powerful way to tailor the language to your needs.