cosy-draft
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (7.3%) to scientific vocabulary
Last synced: 6 months ago
·
JSON representation
·
Repository
Basic Info
- Host: GitHub
- Owner: tudo-seal
- License: apache-2.0
- Language: Python
- Default Branch: develop
- Size: 926 KB
Statistics
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
- Releases: 0
Created 9 months ago
· Last pushed 8 months ago
Metadata Files
Readme
License
Citation
README.md
CoSy
| | |
|----------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| Package | [](https://pypi.org/project/combinatory-synthesizer) [](https://pypi.org/project/combinatory-synthesizer) |
| License | [](https://opensource.org/licenses/Apache-2.0) |
| Package | [](https://github.com/tudo-seal/cosy-draft/actions/workflows/checks.yml) [](https://github.com/tudo-seal/cosy-draft/actions/workflows/release.yml) |
| Docs | [](https://github.com/tudo-seal/cosy-draft/actions/workflows/check-docs.yml) [](https://github.com/tudo-seal/cosy-draft/actions/workflows/deploy-docs.yml) |
| Coverage | [](https://codecov.io/github/tudo-seal/cosy-draft) |
| Traits | [](https://hatch.pypa.io/latest/) [](http://mypy-lang.org/) [](https://github.com/astral-sh/ruff) |
CoSy enables synthesis of arbitrary artifacts from individual modular components.
It efficiently handles specification and constraints of these modular components,
describing how they connect and which performance criteria need to be satisfied.
- For a simple example for a theoretically minded computer scientist, see: Fibonacci
- For a simple example for a practically minded engineer, see: Robot Arm (WIP)
Installation
Installation is as simple as running:
console
pip install combinatory-synthesizer
CoSy itself has no dependencies at all, so it will play nice with any pre-existing projects.
Documentation
This README is intentionally left brief.
Please head over to the documentation to get started.
License
CoSy is distributed under the terms of the Apache-2.0 license.
Owner
- Name: SEAL - Software Engineering by Algorithms and Logic
- Login: tudo-seal
- Kind: organization
- Repositories: 1
- Profile: https://github.com/tudo-seal
Citation (CITATION.cff)
# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!
cff-version: 1.2.0
title: Combinatory Synthesizer (CoSy)
message: >-
If you use this software, please cite it using the
metadata from this file.
type: software
authors:
- given-names: Andrej
family-names: Dudenhefner
email: andrej.dudenhefner@cs.tu-dortmund.de
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0000-0003-1104-444X'
- given-names: Christoph
family-names: Stahl
email: christoph.stahl@tu-dortmund.de
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0009-0006-9079-8379'
- given-names: Constantin
family-names: Chaumet
email: constantin.chaumet@tu-dortmund.de
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0000-0002-8359-8030'
- given-names: Felix
family-names: Laarmann
email: felix.laarmann@tu-dortmund.de
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0009-0001-5761-9678'
repository-code: 'https://github.com/tudo-seal/cosy'
keywords:
- combinatory logic
- type system
- inhabitation
- intersection types
- program synthesis
license: Apache-2.0
GitHub Events
Total
- Watch event: 1
- Delete event: 4
- Issue comment event: 6
- Public event: 1
- Push event: 40
- Pull request event: 18
- Create event: 6
Last Year
- Watch event: 1
- Delete event: 4
- Issue comment event: 6
- Public event: 1
- Push event: 40
- Pull request event: 18
- Create event: 6
Dependencies
.github/workflows/check-docs.yml
actions
- actions/checkout v4 composite
- actions/setup-python v5 composite
- pypa/hatch install composite
.github/workflows/checks.yml
actions
- actions/checkout v3 composite
- actions/setup-python v4 composite
- pypa/hatch install composite
.github/workflows/deploy-docs.yml
actions
- actions/checkout v4 composite
- actions/setup-python v5 composite
- pypa/hatch install composite
.github/workflows/release.yml
actions
- actions/checkout v4 composite
- actions/setup-python v5 composite
- pypa/gh-action-pypi-publish release/v1 composite
- pypa/hatch install composite
pyproject.toml
pypi
.github/workflows/pr-rules-main.yml
actions
- superbrothers/close-pull-request v3 composite
.github/workflows/pr-rules-reminder.yml
actions
- thollander/actions-comment-pull-request v3 composite