123
Quorum

Quorum

Kvorumets programmeringsspråk.- Världens första bevisorienterade programmeringsspråk.
Quorum är ett allmänt verktyg som vi kallar ett "evidensbaserat" programmeringsspråk.Det började som ett tolkat språk som ursprungligen var utformat för att vara lättare att höra via skärmläsare för blinda eller synskadade användare.Så småningom blev Quorum ett programmeringsspråk för allmänna ändamål designat för alla användare.Nuvarande versioner sammanställs till Java Bytecode och körs på Java Virtual Machine, på samma sätt som JRuby, Jython eller Scala.Quorum 3.0 kompilerar också till JavaScript och kan köras från webben ....

Hemsida:

kategorier

Alternativ till Quorum för Linux

Python

Python

Python är ett tolkat, interaktivt, objektorienterat, utdragbart programmeringsspråk.
Java

Java

Java är ett generellt datorprogrammeringsspråk som är samtidigt, klassbaserat, objektorienterat och specifikt utformat för att ha så få implementeringsberoenden som möjligt.
C (programming language)

C (programming language)

C är ett datorprogrammeringsspråk för allmänt bruk.C är ett av de mest använda programmeringsspråken genom tiderna.
C++

C++

C ++ är ett statiskt typat, fritt-format, multi-paradigm, sammanställt, allmänt, kraftfullt programmeringsspråk.
C#

C#

C # är ett programmeringsspråk med flera paradigmer som omfattar stark typ, imperativ, deklarativ, funktionell, generisk, objektorienterad (klassbaserad) och komponentorienterad ...
Lua

Lua

Lua är ett kraftfullt, snabbt, lätt, inbäddbart skriptspråk.
Perl

Perl

Perl är ett högt, allmänt, tolkat, dynamiskt programmeringsspråk med över 22 års utveckling.
Scala

Scala

Scala är ett modernt programmeringsspråk med flera paradigmer baserade på Java Virtual Machine (JVM) som är utformad för att uttrycka vanliga programmeringsmönster på ett kortfattat, elegant och typsäkert ...
Haskell

Haskell

Haskell är ett avancerat rent funktionellt programmeringsspråk.
D (Programming Language)

D (Programming Language)

D är ett språk med C-liknande syntax och statisk typning.Den kombinerar pragmatiskt effektivitet, styrning och modelleringskraft med säkerhet och programmeringsproduktivitet. Bekvämlighet
Nim (programming language)

Nim (programming language)

Nim är ett statiskt typiskt, absolut nödvändigt programmeringsspråk med ett kraftfullt makrosystem som försöker ge programmeraren ultimat kraft utan kompromisser om körningseffektivitet.
FreeBASIC

FreeBASIC

FreeBASIC är en helt gratis, öppen källkod, 32-bitars BASIC-kompilator, med syntax som liknar MS-QuickBASIC, som lägger till nya funktioner som pekare, osignerade datatyper, inline ...
Ceylon

Ceylon

Stöd för virtuella Java- och JavaScript-maskiner
Factor

Factor

Factor-programmeringsspråket kombinerar kraftfulla språkfunktioner med ett fullbibliotek.
Nim (programming language)

Nim (programming language)

Nim är ett statiskt typiskt, absolut nödvändigt programmeringsspråk som försöker ge programmeraren den ultimata kraften utan kompromisser om runtimeffektivitet.