Verificación formal en Coq y Gallina: pruebas verificadas por máquina
Hecho a mano
Olena T.
Catálogo de servicios
Arte
Ofertas listas de freelancers: elige un servicio y pídelo directamente al autor.
En esta sección1 149servicios · nuevos por semana
Novedades de esta semana00 en las últimas 24 horas
Autores44los freelancers ofrecen estos servicios
Interés95vistas por servicio en promedio
Ingeniería de sistemas en el lenguaje Vale: memoria segura sin recolección de basura
Hecho a mano
Max K.
Grain y WebAssembly: Módulos Tipados Compactos
Hecho a mano
Oksana L.
Backends Distribuidos y Funciones en la Nube en Unison
Hecho a mano
Olena T.
Backends en Gleam para BEAM — Concurrencia segura por tipo
Hecho a mano
Ivan K.
Rescatando Clipper y xBase: reviviendo antiguas bases de datos DOS
Hecho a mano
Oksana L.
Ingeniero en Occam y CSP: sistemas paralelos y transputadores
Hecho a mano
Olena T.
Solucionadores declarativos en el lenguaje Curry
Hecho a mano
Max K.
Ingeniero de sistemas y juegos en Odin
Hecho a mano
Alex P.
Maestro de Red-lang: aplicaciones GUI, DSLs y binarios pequeños
Hecho a mano
Natalia M.
Ingeniero en Zig: sistemas embebidos, Wasm, interoperabilidad con C
Hecho a mano
Yulia P.
Maestro de Io-lang: prototipo OOP y actores
Hecho a mano
Ivan K.
Ingeniero de Computación Paralela en Chapel para HPC
Hecho a mano
Olga M.
Código verificado en Agda: Pruebas y Tipos
Hecho a mano
Anna V.
Desarrollador Forth: Firmware y Bootloaders en Lenguaje Basado en Pila
Hecho a mano
Oksana L.
Ingeniero de Nix y NixOS — Construcciones Reproducibles, Flakes, Despliegue Declarativo
Hecho a mano
Olena T.
Bueno saber
Cómo encargar un servicio de freelancer
Abre la tarjeta del servicio, estudia los términos y el portafolio del autor y escríbeles. Un servicio listo es conveniente cuando la tarea es típica y quieres un precio claro de inmediato.
Cómo elegir un freelancer
Compara portafolios, reseñas y calificaciones — la experiencia real importa más que una descripción. Aclara los plazos y qué está incluido en el precio antes de hacer el pedido.
Cómo publicar tu propio servicio
Los freelancers añaden servicios de forma gratuita: describe lo que haces y tus términos — los clientes te encontrarán por sí mismos. Agregar un servicio
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.
