Formale Verifikation in Coq und Gallina: maschinengeprüfte Beweise
Handgemacht
Olena T.
Dienstleistungskatalog
Kunst
Fertige Angebote von Freelancern: Wählen Sie eine Dienstleistung und bestellen Sie sie direkt beim Autor.
In diesem Abschnitt1 149Dienstleistungen · neu pro Woche
Neu in dieser Woche00 in den letzten 24 Stunden
Autoren44Freelancer bieten diese Dienstleistungen an
Interesse96Aufrufe pro Dienst im Durchschnitt
Systemtechnik in der Vale-Sprache: sichere Speicherverwaltung ohne Garbage Collection
Handgemacht
Max K.
Grain und WebAssembly: Kompakte typisierte Module
Handgemacht
Oksana L.
Verteilte Backends und Cloud-Funktionen auf Unison
Handgemacht
Olena T.
Backends auf Gleam für BEAM — Typ-sichere Parallelität
Handgemacht
Ivan K.
Rettung von Clipper und xBase: Wiederbelebung alter DOS-Datenbanken
Handgemacht
Oksana L.
Ingenieur in Occam und CSP: parallele Systeme und Transputer
Handgemacht
Olena T.
Deklarative Solver in der Curry-Sprache
Handgemacht
Max K.
System- und Spieleingenieur in Odin
Handgemacht
Alex P.
Meister der Red-Sprache: GUI-Anwendungen, DSLs und kleine Binärdateien
Handgemacht
Natalia M.
Ingenieur in Zig: eingebettete Systeme, Wasm, C-Interop
Handgemacht
Yulia P.
Io-lang Meister: Prototyp OOP und Akteure
Handgemacht
Ivan K.
Parallel Computing Engineer für Chapel im HPC-Bereich
Handgemacht
Olga M.
Verifizierter Code in Agda: Beweise und Typen
Handgemacht
Anna V.
Forth-Entwickler: Firmware und Bootloader in einer stackbasierten Sprache
Handgemacht
Oksana L.
Nix- und NixOS-Ingenieur — Reproduzierbare Builds, Flakes, Deklarative Bereitstellung
Handgemacht
Olena T.
Gut zu wissen
Wie man einen Freelancer-Service bestellt
Öffnen Sie die Servicekarte, studieren Sie die Bedingungen und das Portfolio des Autors und schreiben Sie ihnen. Ein fertiger Service ist praktisch, wenn die Aufgabe typisch ist und Sie sofort einen klaren Preis möchten.
Wie wählt man einen Freelancer aus
Vergleichen Sie Portfolios, Bewertungen und Bewertungen – echte Erfahrungen zählen mehr als eine Beschreibung. Klären Sie die Fristen und was im Preis enthalten ist, bevor Sie bestellen.
Wie man seinen eigenen Service veröffentlicht
Freelancer fügen Dienstleistungen kostenlos hinzu: Beschreiben Sie, was Sie tun und Ihre Bedingungen – die Kunden werden Sie selbst finden. Eine Dienstleistung hinzufügen
FOR CLIENTS · SAFE DEAL ESCROW
Need a similar project? Post your task for free in 30 seconds
Get competitive bids from verified freelancers and release payment only when you approve the work via Safe Deal.
FOR FREELANCERS · PAYORA 1-CLICK
Pin your profile to the TOP of the category for $5 / week
Boost your profile and portfolio to #1 in the directory (1-click crypto & fiat checkout via Payora) to get 5× more direct orders.
