Code Monkey home page Code Monkey logo

copilot-language.github.io's Introduction

Build Status

Copilot: a stream DSL

Copilot-language contains the actual embedded domain specific language that Copilot provides to its users. It comes with a series of basic operators and functionality, typically enough for most applications. Extended functionality is provided by the copilot-libraries module.

Copilot is a runtime verification framework written in Haskell. It allows the user to write programs in a simple but powerful way using a stream-based approach.

Programs can be interpreted for testing, or translated C99 code to be incorporated in a project, or as a standalone application. The C99 backend ensures us that the output is constant in memory and time, making it suitable for systems with hard realtime requirements.

Installation

Copilot-language can be found on Hackage. It is typically only installed as part of the complete Copilot distribution. For installation instructions, please refer to the Copilot website.

Further information

For further information, install instructions and documentation, please visit the Copilot website: https://copilot-language.github.io

License

Copilot is distributed under the BSD-3-Clause license, which can be found here.

copilot-language.github.io's People

Contributors

chriz-uniba avatar fdedden avatar ivanperez-keera avatar

Stargazers

 avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar

Forkers

juhp

copilot-language.github.io's Issues

Write 'about' page.

The about page is currently empty. It should give a short introduction to Copilot and maybe a code example.

Make publishing easier

Publishing the generated .html files after running make is tedious, as they have to be moved to the master branch. Moving them is not as simple as git add . && git checkout master, as this will create merge conflicts.

A proper solution needs to be found, but for now:

git add .
git stash
git checkout $branch
git checkout --theirs stash -- .
git stash drop
git reset .
git clean -df
git clean -df

suffices.

This leaves us with all the changes ready for adding and committing in master.

Announce 3.6

The release of 3.6 (2021/11/07) should be listed on the front page.

Announce 3.15

The release of 3.15 (2023/05/07) should be listed on the front page.

Announce 3.13

The release of 3.13 (2023/01/07) should be listed on the front page.

Replace licence with license

We are using the British spelling licence.

This being a US-funded project, it seems like spelling it license would be more appropriate.

Announce 3.17

The release of 3.17 (2023/11/07) should be listed on the front page.

Announce 3.12

The release of 3.12 (2022/11/07) should be listed on the front page.

Post release of 3.3

The 3.3 release has not been listed on the frontpage of the website yet, we should do so.

Announce 3.8

The release of 3.8 (2022/03/07) should be listed on the front page.

Automate html generation process

The process of generating html pages is manual at present.

That makes it very difficult to keep consistency between files. I personally tend to introduce a lot of mistakes when trying to go through the publication process.

Automating the process would help immensely.

Announce 3.10

The release of 3.10 (2022/07/07) should be listed on the front page.

Announce 3.11

The release of 3.11 (2022/09/07) should be listed on the front page.

Remove tabs

Many files in the repo contain tabs, which is annoying when writing HTML and especially when auto-generating code.

All tabs should be removed.

Announce 3.5

The release of 3.5 (2021/09/07) should be listed on the front page.

Announce 3.7

The release of 3.7 (2022/01/07) should be listed on the front page.

Improve code blocks visually

The colours for syntax highlighting were chosen for a black background. Most code on the site has a white background making some of the code unreadable.

Additionally there could be some visual indication of a code block.

Announce 3.9

The release of 3.9 (2022/05/07) should be listed on the front page.

Outdated information about GHC version required

The download page states that "Currently Copilot 3.1 requires a version of the Glasgow Haskell Compiler (GHC) of at least 8.0 to be installed", but we are at Copilot 3.11 and require GHC 8.4 (?) but only test with GHC 8.6 and above.

Announce 3.16

The release of 3.16 (2023/07/07) should be listed on the front page.

Announce 3.14

The release of 3.14 (2023/03/07) should be listed on the front page.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.