wiki icon indicating copy to clipboard operation
wiki copied to clipboard

Add sharkdp/numbat

Open meinzer1899 opened this issue 1 year ago • 4 comments

numbat is a statically typed programming language for scientific computations with first class support for physical dimensions and units.

meinzer1899 avatar Aug 12 '24 08:08 meinzer1899

Merging to main in this repository is managed by Trunk.

  • [ ] To merge this pull request, check the box to the left or comment /trunk merge below.

trunk-io[bot] avatar Aug 12 '24 08:08 trunk-io[bot]

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale. This PR will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!

github-actions[bot] avatar Sep 13 '24 08:09 github-actions[bot]

This is not stale. I'm waiting for someone to review.

meinzer1899 avatar Sep 13 '24 09:09 meinzer1899

@onokatio ?

meinzer1899 avatar Sep 23 '24 13:09 meinzer1899

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale. This PR will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!

github-actions[bot] avatar Oct 24 '24 08:10 github-actions[bot]

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale. This PR will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!

github-actions[bot] avatar Nov 24 '24 08:11 github-actions[bot]

/trunk merge

meinzer1899 avatar Nov 27 '24 08:11 meinzer1899

An error occurred while submitting your PR to the queue: Only users that are a part of this repo's Trunk organization or have write permissions to the repo can submit a PR to the queue

trunk-io[bot] avatar Nov 27 '24 08:11 trunk-io[bot]

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale. This PR will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!

github-actions[bot] avatar Dec 28 '24 08:12 github-actions[bot]

Pull Request closed and locked due to lack of activity. If you'd like to build on this closed PR, you can clone it using this method: https://stackoverflow.com/a/14969986 Then open a new PR, referencing this closed PR in your message.

ss-o avatar Jan 13 '25 02:01 ss-o