ott
publish-unit-test-result-action
| ott | publish-unit-test-result-action | |
|---|---|---|
| 2 | 2 | |
| 324 | 551 | |
| 0.0% | - | |
| 2.4 | 8.2 | |
| about 2 months ago | 7 days ago | |
| OCaml | Python | |
| GNU General Public License v3.0 or later | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ott
-
Language Prototyping Tools
I haven't used it but there's https://github.com/ott-lang/ott
-
Some WIP little calculi in Coq with Ott
I've found Ott useful enough for keeping the language spec in sync with the grammar and typing judgement.
publish-unit-test-result-action
-
Trying out GitHub Actions with Matlab
EnricoMi/publish-unit-test-result-action/composite@v1
-
Rust CI with GitHub Actions
Test results are uploaded through EnricoMi/publish-unit-test-result-action@v1.
What are some alternatives?
doublecatrel
EnricoMi
brainstorm3 - Brainstorm software: MEG, EEG, fNIRS, ECoG, sEEG and electrophysiology
upload-artifact
rust-ci-github-actions-workflow - Rust project template with CI workflow in GitHub Actions
kraken - Kraken CI is a continuous integration and testing system.
codecov-action - GitHub Action that uploads coverage to Codecov :open_umbrella:
clippy-check - 📎 GitHub Action for PR annotations with clippy warnings
.github - Automate your workflows with GitHub actions for MATLAB.
ott - Optical Tweezers Toolbox (Version 1)
typescript-action - Create a TypeScript Action with tests, linting, workflow, publishing, and versioning
Clippy - A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/