Verifica formale in Coq e Gallina: prove verificate dalla macchina
Fatto a mano
Olena T.
Catalogo servizi
Arte
Offerte pronte da freelancer: scegli un servizio e ordina direttamente dall'autore.
In questa sezione1 149servizi · nuovi per settimana
Nuovo questa settimana00 nelle ultime 24 ore
Autori44i liberi professionisti offrono questi servizi
Interesse96visualizzazioni per servizio in media
Ingegneria dei sistemi nel linguaggio Vale: memoria sicura senza raccolta dei rifiuti
Fatto a mano
Max K.
Grain e WebAssembly: Moduli Tipizzati Compatti
Fatto a mano
Oksana L.
Backends Distribuiti e Funzioni Cloud su Unison
Fatto a mano
Olena T.
Backends su Gleam per BEAM — Concorrenza sicura per il tipo
Fatto a mano
Ivan K.
Salvataggio di Clipper e xBase: rivitalizzare vecchie banche dati DOS
Fatto a mano
Oksana L.
Ingegnere in Occam e CSP: sistemi paralleli e transputers
Fatto a mano
Olena T.
Risolutori dichiarativi nel linguaggio Curry
Fatto a mano
Max K.
Ingegnere di sistemi e giochi su Odin
Fatto a mano
Alex P.
Master di Red-lang: applicazioni GUI, DSL e piccoli binari
Fatto a mano
Natalia M.
Ingegnere in Zig: sistemi embedded, Wasm, interoperabilità C
Fatto a mano
Yulia P.
Master di Io-lang: prototipo OOP e attori
Fatto a mano
Ivan K.
Ingegnere di Calcolo Parallelo su Chapel per HPC
Fatto a mano
Olga M.
Codice Verificato in Agda: Prove e Tipi
Fatto a mano
Anna V.
Sviluppatore Forth: Firmware e Bootloader su Linguaggio Basato su Stack
Fatto a mano
Oksana L.
Ingegnere Nix e NixOS — Build riproducibili, Flakes, Deploy dichiarativi
Fatto a mano
Olena T.
Buono a sapersi
Come ordinare un servizio da un freelancer
Apri la scheda del servizio, studia i termini e il portfolio dell'autore e scrivigli. Un servizio pronto è comodo quando il compito è tipico e vuoi un prezzo chiaro subito.
Come scegliere un freelancer
Confronta portfolio, recensioni e valutazioni — l'esperienza reale conta di più di una descrizione. Chiarisci le scadenze e cosa è incluso nel prezzo prima di ordinare.
Come pubblicare il proprio servizio
I liberi professionisti possono aggiungere servizi gratuitamente: descrivi cosa fai e i tuoi termini — i clienti ti troveranno da soli. Aggiungi un servizio
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.
