Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / turion/rhine issues and pull requests

#374 - rhine-dom

Pull Request - State: open - Opened by turion 8 days ago

#373 - Build monad-schedule without parallelism in CI

Pull Request - State: open - Opened by ners 8 days ago

#372 - Build nix develop for all GHCs

Pull Request - State: closed - Opened by turion 8 days ago

#371 - Fix monad-schedule flake input

Pull Request - State: closed - Opened by ners 10 days ago - 1 comment

#370 - Bump haskell-actions/run-fourmolu from 10 to 11

Pull Request - State: closed - Opened by dependabot[bot] 28 days ago
Labels: dependencies

#369 - Release 1.5

Pull Request - State: closed - Opened by turion 28 days ago

#368 - Dev regression #365

Pull Request - State: open - Opened by turion 28 days ago - 4 comments

#367 - Fix sawtooth example

Pull Request - State: closed - Opened by turion about 1 month ago

#366 - Sawtooth example <<loop>> exception

Issue - State: closed - Opened by crocodile-dentist about 1 month ago - 5 comments

#365 - Parallel composition of FixedStep clocks evaluates in unexpected order

Issue - State: open - Opened by DISTEL100 about 1 month ago - 12 comments

#364 - Trying to design a function

Issue - State: closed - Opened by reubenharry about 2 months ago - 4 comments

#363 - Bump cachix/install-nix-action from 29 to 30

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies

#362 - Time translation

Issue - State: closed - Opened by reubenharry about 2 months ago - 4 comments

#361 - Update rhine bayes readme

Pull Request - State: closed - Opened by turion about 2 months ago

#360 - Bump cachix/install-nix-action from V27 to 29

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies

#359 - Bump kleidukos/get-tested from 0.1.7.1 to 0.1.8.1

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies

#358 - Bump cachix/install-nix-action from V27 to 28

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies

#357 - Bump DeterminateSystems/magic-nix-cache-action from 7 to 8

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies

#356 - Bump kleidukos/get-tested from 0.1.7.1 to 0.1.8.0

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies

#355 - Translate & test ideas from dunai-bayes repo

Issue - State: open - Opened by turion 3 months ago

#354 - Recording

Pull Request - State: open - Opened by turion 3 months ago

#353 - rhine-bayes: Add presentation

Pull Request - State: open - Opened by turion 3 months ago

#351 - WIP inspection test to ensure correct optimization

Pull Request - State: open - Opened by turion 3 months ago

#350 - Add script to simplify screen recordings.

Pull Request - State: open - Opened by turion 3 months ago

#349 - Extend benchmark

Pull Request - State: open - Opened by turion 3 months ago

#348 - Remove SN GADT in favour of inlinable functions

Pull Request - State: open - Opened by turion 3 months ago - 1 comment

#347 - Improve docs

Pull Request - State: closed - Opened by turion 4 months ago

#346 - Fix naming of initial and final

Pull Request - State: closed - Opened by turion 4 months ago - 1 comment

#345 - Bump QuickCheck upper bound

Pull Request - State: closed - Opened by turion 4 months ago

#344 - Bump kleidukos/get-tested from 0.1.7.0 to 0.1.7.1

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies

#343 - Schedule a list of automata efficiently

Pull Request - State: closed - Opened by turion 4 months ago

#341 - Rewrite Nix flake

Pull Request - State: closed - Opened by ners 5 months ago - 4 comments

#340 - Allow GHC 9.10

Pull Request - State: closed - Opened by turion 5 months ago - 1 comment

#339 - Relax tasty-quickcheck bounds

Pull Request - State: closed - Opened by turion 5 months ago - 1 comment

#338 - Allow to specify constraints on the internal state of an automaton?

Issue - State: open - Opened by turion 5 months ago - 1 comment
Labels: feature, automaton

#337 - Sundry

Pull Request - State: closed - Opened by turion 6 months ago

#336 - not accepting `rhine` 1.4.0.1?

Issue - State: closed - Opened by alaendle 6 months ago - 2 comments

#335 - Dev nix caching

Pull Request - State: closed - Opened by turion 6 months ago - 2 comments

#334 - Version bump to 1.4, changelog updates

Pull Request - State: closed - Opened by turion 6 months ago

#333 - Sundry

Pull Request - State: closed - Opened by turion 6 months ago

#332 - Release 1.4

Issue - State: closed - Opened by turion 6 months ago - 1 comment

#330 - Can only use one Gloss clock at a time

Issue - State: open - Opened by turion 6 months ago

#329 - Dev free async

Pull Request - State: closed - Opened by turion 6 months ago

#328 - Update Random to new API

Issue - State: open - Opened by turion 6 months ago

#327 - Dev gloss improvements

Pull Request - State: closed - Opened by turion 6 months ago - 1 comment

#326 - Haddocks often miss structure

Issue - State: open - Opened by turion 6 months ago
Labels: bug, help wanted

#325 - Move gloss clock rescalings to rhine-gloss

Pull Request - State: closed - Opened by turion 6 months ago

#324 - Add unfold_

Pull Request - State: closed - Opened by turion 6 months ago

#323 - Fix #304 (simplify init clock)

Pull Request - State: open - Opened by turion 6 months ago - 3 comments

#322 - Bump cachix/install-nix-action from 26 to 27

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#321 - Remove stack infrastructure

Pull Request - State: closed - Opened by turion 6 months ago

#320 - Fix docs and make GlossEnv available to users

Pull Request - State: closed - Opened by turion 6 months ago

#319 - AccumT

Pull Request - State: closed - Opened by turion 6 months ago

#318 - Sundry

Pull Request - State: closed - Opened by turion 7 months ago

#317 - Fix liftA2 migration

Pull Request - State: closed - Opened by turion 7 months ago

#316 - Remove unneeded import

Pull Request - State: closed - Opened by turion 7 months ago - 1 comment

#315 - Bump version to 1.3

Pull Request - State: closed - Opened by turion 7 months ago

#314 - Stack caching doesn't work?

Issue - State: closed - Opened by turion 7 months ago - 2 comments

#313 - Fix haddocks

Pull Request - State: closed - Opened by turion 7 months ago

#312 - Generalise parallely from list to recursion-schemes

Issue - State: open - Opened by turion 7 months ago
Labels: automaton

#311 - Benchmarks for automaton

Issue - State: open - Opened by turion 7 months ago

#310 - bump base to 4.19

Pull Request - State: closed - Opened by ners 7 months ago - 3 comments

#309 - Improve clock erasure in the light of automata

Pull Request - State: open - Opened by turion 7 months ago

#308 - Parallelisation by default in State Automata?

Issue - State: open - Opened by turion 7 months ago
Labels: enhancement, rhine-bayes

#307 - Speed up Millisecond tests by 100

Pull Request - State: closed - Opened by turion 7 months ago

#306 - Add trivial clock

Pull Request - State: closed - Opened by turion 7 months ago

#305 - Bump hlint

Pull Request - State: closed - Opened by turion 8 months ago

#304 - Simplify `initClock`?

Issue - State: open - Opened by turion 8 months ago - 5 comments
Labels: enhancement

#303 - Bump fourmolu to 0.14

Pull Request - State: closed - Opened by turion 8 months ago

#302 - Change Busy clock effect to MonadIO

Pull Request - State: closed - Opened by ners 8 months ago - 1 comment

#301 - Build Haddock on CI

Issue - State: open - Opened by turion 9 months ago
Labels: enhancement, CI

#300 - Catch io exceptions in clocks

Pull Request - State: open - Opened by turion 9 months ago

#299 - Replace dunai by automata/state machines

Pull Request - State: closed - Opened by turion 9 months ago - 1 comment

#298 - Bump cachix/install-nix-action from 25 to 26

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#297 - Add Never clock

Pull Request - State: closed - Opened by ners 9 months ago - 2 comments

#296 - Bump kleidukos/get-tested from 0.1.6.0 to 0.1.7.0

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#295 - Bump dunai to 0.12.2

Pull Request - State: closed - Opened by turion 9 months ago

#294 - Support GHC 9.8

Issue - State: closed - Opened by turion 9 months ago - 1 comment
Labels: enhancement, good first issue

#293 - Fix cabal-gild version

Pull Request - State: closed - Opened by turion 9 months ago

#292 - cabal gild

Pull Request - State: closed - Opened by turion 9 months ago

#291 - Local clock

Pull Request - State: open - Opened by turion 9 months ago

#290 - Inference buffer

Pull Request - State: open - Opened by turion 9 months ago

#289 - Inference resampling buffers

Issue - State: open - Opened by turion 9 months ago - 9 comments

#288 - Haddock on hackage is broken

Issue - State: open - Opened by turion 9 months ago - 1 comment
Labels: bug, documentation, CI

#287 - Dev catch

Pull Request - State: closed - Opened by turion 10 months ago - 2 comments

#286 - StdinClock throws IOError on EOF

Issue - State: closed - Opened by turion 10 months ago - 2 comments

#285 - Add benchmarks

Pull Request - State: closed - Opened by turion 10 months ago - 3 comments

#284 - Time Aware Inference

Issue - State: open - Opened by reubenharry 10 months ago

#283 - Fix MacOS runtime error in Gloss apps

Pull Request - State: open - Opened by turion 10 months ago - 1 comment

#282 - Bump haskell-actions/run-fourmolu from 9 to 10

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#281 - Decoupling inference and model

Issue - State: open - Opened by reubenharry 10 months ago - 6 comments

#280 - MacOS error reappearing again

Issue - State: open - Opened by reubenharry 10 months ago - 10 comments

#279 - Sundry

Pull Request - State: closed - Opened by turion 10 months ago

#270 - Ghc 9.8

Pull Request - State: closed - Opened by turion 11 months ago - 2 comments

#268 - Make ClSF a newtype

Issue - State: open - Opened by turion 11 months ago
Labels: enhancement, automaton

#261 - Make SN an Arrow

Pull Request - State: open - Opened by turion about 1 year ago

#257 - text and bytestring file clocks

Issue - State: open - Opened by turion about 1 year ago - 1 comment
Labels: good first issue, feature