Orangeboard Lambda Calculus Interpreter 1.0

Похожие программы

• pyckett Бесплатный

  Это эмулятор правил слайда, основанный на классическом дизайне слайдов Pickett. Она написана на Python, поэтому название «квота;pyckett»quot; является уместным. Он подходит в качестве примера объектно-ориентированной констр

• tkradar Бесплатный

  Tkradar - это набор C-библиотек и пакетов Tcl/Tk для доступа, манипулирования и отображения различных форм метеорологических радиолокационных данных. Для этого требуются Tcl, Tk и Tkgeomap.

• e17genmenu Бесплатный

  e17genmenu — это приложение для автоматического создания записей в меню для менеджера окна Просвещения (DR17) на Linux на основе меню Gnome/Kde. Она написана на C, используя библиотеки Фонда Просвещения, включая Ecore, Engrav

• Italian Translator TransZilla Бесплатный

  Итальянский переводчик Трансилья является бесплатным переводчиком, который использует Google Translate.Переводчик поддерживает перевод с английского на итальянский и итальянский на английский.Используйте переводчика для с

• Eigenmath DS Бесплатный

  Eigenmath DS - это бесплатная компьютерная система алгебры, портированная на Nintendo DS.Цель этого проекта состоит в том, чтобы иметь свободный CAS, сопоставимый с коммерческими системами таких как Texas Instruments или

• Inaugural Address USA 2009 Бесплатная пробная версия

  Официальный текст исторической инаугурационной речи президента Обамы, январь 2009 года.Мы также публикуем:«Обращение к Конгрессу в феврале 2009 года» (Обама о космосе 2010)и другие приложения.Это приложение пр

• BioStream Бесплатный

  BioStream позволяет исследователям биоинформатики создавать, запрашивать и применять инструменты в своих собственных базах данных. Он поддерживает файлы последовательности и другие типы данных, позволяя создавать файлы опреде

• I.S.A.A.C.S. Бесплатный

  I.S.A.A.C.S. Интерактивный структурный анализ аморфных и кристаллических систем представляет 14000 (A.S.A.A.C.S. Interactive Structure Analysis of Amorphous and Crystalline Systems — это кросс-платформенное программное обеспе

• SystemJ-Translator Бесплатный

  SystemJ - это новый язык, посвященный легкому развитию Reactive HDL. На основе JAVA это платформа независима и дает простоту развития, которая сопровождает Java.

• Project35 Бесплатный

  Project35 — это набор программных средств, которые генерируют формы на основе схем XML. Первоначально полученные в результате научно-исследовательского проекта Педро, инструменты Project35 были изменены для поддержки более п