13 συγγένειες: BSD, C++, Coq, Diff, GPL, Haskell, HTTP, Linux, Mac OS X, Microsoft Windows, Patch (Unix), SSH, Unix.
BSD
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Berkeley Software Distribution.
Νέος!!: Darcs και BSD · Δείτε περισσότερα »
C++
Ο Μπιάρνε Στρούστρουπ, δημιουργός της γλώσσας C++. Η C++ (διαβάζεται: σι πλας πλαςBjarne Stroustrup, «Η γλώσσα προγραμματισμού C++»,, Εκδότης: Κλειδάριθμος, 1999,. 04/09/2019. Ανακτήθηκε 04/09/2019.) είναι μία γενικού σκοπού γλώσσα προγραμματισμού Η/Υ.
Νέος!!: Darcs και C++ · Δείτε περισσότερα »
Coq
Μια συνεδρία αλληλεπιδραστικής απόδειξης στο CoqIDE, το σενάριο της απόδειξης φαίνεται στα αριστερά και η κατάσταση της απόδειξης φαίνεται στα δεξιά. Στην επιστήμη υπολογιστών, το Coq είναι ένας διαλογικό εργαλείο απόδειξης θεωρημάτων (interactive theorem prover).
Νέος!!: Darcs και Coq · Δείτε περισσότερα »
Diff
Στην επιστήμη των υπολογιστών το diff είναι ένα βοηθητικό πρόγραμμα σύγκρισης αρχείων πουδίνει σαν έξοδο τις διαφορές μεταξύ δυο αρχείων.
Νέος!!: Darcs και Diff · Δείτε περισσότερα »
GPL
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Γενική Άδεια Δημόσιας Χρήσης GNU.
Νέος!!: Darcs και GPL · Δείτε περισσότερα »
Haskell
Η Haskell είναι μια πρότυπη αμιγώς συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης με μη-αυστηρή σημασιολογία και ισχυρούς τύπους.
Νέος!!: Darcs και Haskell · Δείτε περισσότερα »
HTTP
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Πρωτόκολλο Μεταφοράς Υπερκειμένου.
Νέος!!: Darcs και HTTP · Δείτε περισσότερα »
Linux
Το Linux (Λίνουξ) ή GNU/Linux (Γκνου/Λίνουξ), είναι ένα λειτουργικό σύστημα πουαποτελείται από ελεύθερο λογισμικό.
Νέος!!: Darcs και Linux · Δείτε περισσότερα »
Mac OS X
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ MacOS.
Νέος!!: Darcs και Mac OS X · Δείτε περισσότερα »
Microsoft Windows
Τα Microsoft Windows (ή απλά Windows) είναι μια σειρά από λειτουργικά συστήματα για προσωπικούς υπολογιστές και διακομιστές.
Νέος!!: Darcs και Microsoft Windows · Δείτε περισσότερα »
Patch (Unix)
Απόσπασμα χρήσης τουpatch.
Νέος!!: Darcs και Patch (Unix) · Δείτε περισσότερα »
SSH
Το SSH (Secure Shell) είναι ένα ασφαλές δικτυακό πρωτόκολλο το οποίο επιτρέπει τη μεταφορά δεδομένων μεταξύ δύο υπολογιστών.
Νέος!!: Darcs και SSH · Δείτε περισσότερα »
Unix
Κλάδοι τουUnix και παρόμοιων συστημάτων Το Unix ή UNIX είναι λειτουργικό σύστημα Ηλεκτρονικών Υπολογιστών, το οποίο αναπτύχθηκε κατά τις δεκαετίες του1960 και του1970 από ομάδα εργαζομένων των εργαστηρίων Μπελ (Bell Labs) της εταιρείας AT&T, στην οποία συμμετείχαν, μεταξύ άλλων, οι Κεν Τόμσον (Ken Thompson), Ντένις Ρίτσι (Dennis Ritchie) και Ντάγκλας Μακιλρόι (Douglas McIlroy).
Νέος!!: Darcs και Unix · Δείτε περισσότερα »