Haskell Embedded copilot

7 copilot packages and projects

• copilot

  9.4 0.0 Haskell

  A stream DSL for writing embedded C programs.

• copilot-language

  6.8 0.0 Haskell

  A Haskell-embedded DSL for monitoring hard real-time distributed systems.

• copilot-sbv

  5.8 0.0 Haskell

  A compiler for CoPilot targeting SBV.

SaaSHub - Software Alternatives and Reviews

SaaSHub will help you find the best software and product alternatives

Promoted www.saashub.com



• copilot-core

  4.4 0.0 Haskell

  An intermediate representation for Copilot.

• copilot-libraries

  4.2 0.0 Haskell

  Libraries for the Copilot language.

• copilot-cbmc

  3.6 0.0 Haskell

  Copilot interface to a C model-checker.

• copilot-c99

  2.9 0.0 Haskell

  A compiler for Copilot targeting C99.

99 Remote Jobs

Work from home. Anywhere in the world.
+ Post a job

• Senior Full-stack Engineer (React, Node.js) - Remote at SemanticBits
  Dev, Reactjs, Node.js
• Software Engineer - Search/Data (Remote, US Timezones Only, Fulltime/Benefits) at Gaia GPS
  Dev, Python, Postgresql
• Software Engineer - Full Stack at 6 River Systems
  Dev, Typescript, Javascript
• Software Engineer - Spacecraft Flight Dynamics System (FDS) at Advanced Space, LLC
  Dev, Space, Kubernetes
• DevOps engineer for Esports at FirstBlood
  DevOps, Amazon-web-services, Kubernetes
• Senior Software Engineer - Web Monetization Ecosystem for Content Creators at Coil
  Dev, Javascript, Node.js
• Principal Software Engineer (Remote) at Hobsons
  Dev, Javascript, Reactjs
• Senior Backend Engineer (m/w/x) - remote possible at Jimdo
  Dev, Python, Django
• Software Engineer III - Business Systems at CNC Software, Inc
  Dev, C#, Asp.net-mvc
• Web Developer for BLOX at TownNews
  Dev, Javascript, Html