Пёмо
Пьомо Обзор Pyomo Pyomo – это набор инструментов на Python для разработки оптимизационных моделей. Разработан Уильямом Хартом, Жан-Полем Уотсоном, Дэвидом […]
Fortress (язык программирования) История и особенности Fortress Fortress – экспериментальный язык программирования, созданный Sun Microsystems и финансируемый DARPA. Разработан Гаем
Reduce (система компьютерной алгебры) Обзор системы Reduce Reduce – это система компьютерной алгебры, разработанная для использования в физике. Разработка началась
HOL (ассистент по корректуре) Основы HOL HOL – семейство интерактивных систем доказательства теорем на основе логики высшего порядка. Системы HOL
Компилятор Glasgow Haskell Обзор компилятора GHC GHC – компилятор для языка программирования Haskell, разработанный Саймоном Пейтоном Джонсом и Марлоу Саттоном.
Курица (реализация схемы) Обзор Chicken Chicken – это компилятор и интерпретатор Scheme, который компилирует код Scheme в соответствии со стандартом
Ruby (язык программирования) Ruby – язык программирования с открытым исходным кодом, созданный в 1995 году Юкихиро Мацумото. Ruby поддерживает объектно-ориентированное
Dart (язык программирования) Dart – объектно-ориентированный язык для сборки мусора с синтаксисом в стиле C. Язык поддерживает интерфейсы, микшины, абстрактные
Go (язык программирования) Go – язык программирования с открытым исходным кодом, разработанный Google. Он сочетает в себе простоту и надежность,
Theano (программное обеспечение) Theano – библиотека Python и оптимизирующий компилятор для математических выражений. Вычисления в Theano выражаются с использованием синтаксиса
Изабель (ассистент по корректуре) Isabelle – тестер теорем логики высшего порядка, написанный на стандартных языках ML и Scala. Основан на