issues
search
turion
/
rhine
Haskell Functional Reactive Programming framework with type-level clocks
http://hackage.haskell.org/package/rhine
124
stars
21
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add a clock based on monotonic GHC time
#378
turion
opened
1 day ago
0
Scheduling for IO has fairness and performance problems
#377
turion
opened
1 day ago
0
Internal monad schedule class
#376
turion
opened
1 day ago
0
Update flake lock automatically
#375
turion
closed
1 day ago
0
rhine-dom
#374
turion
opened
1 week ago
0
Build monad-schedule without parallelism in CI
#373
ners
opened
1 week ago
0
Build nix develop for all GHCs
#372
turion
closed
1 week ago
0
Fix monad-schedule flake input
#371
ners
closed
2 weeks ago
1
Bump haskell-actions/run-fourmolu from 10 to 11
#370
dependabot[bot]
closed
1 month ago
0
Release 1.5
#369
turion
closed
2 weeks ago
0
Dev regression #365
#368
turion
opened
1 month ago
4
Fix sawtooth example
#367
turion
closed
1 month ago
0
Sawtooth example <<loop>> exception
#366
crocodile-dentist
closed
1 month ago
5
Parallel composition of FixedStep clocks evaluates in unexpected order
#365
DISTEL100
opened
1 month ago
13
Trying to design a function
#364
reubenharry
closed
1 month ago
4
Bump cachix/install-nix-action from 29 to 30
#363
dependabot[bot]
closed
1 month ago
0
Time translation
#362
reubenharry
closed
2 months ago
4
Update rhine bayes readme
#361
turion
closed
2 months ago
0
Bump cachix/install-nix-action from V27 to 29
#360
dependabot[bot]
closed
2 months ago
0
Bump kleidukos/get-tested from 0.1.7.1 to 0.1.8.1
#359
dependabot[bot]
closed
2 months ago
1
Bump cachix/install-nix-action from V27 to 28
#358
dependabot[bot]
closed
2 months ago
1
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8
#357
dependabot[bot]
closed
2 months ago
0
Bump kleidukos/get-tested from 0.1.7.1 to 0.1.8.0
#356
dependabot[bot]
closed
2 months ago
1
Translate & test ideas from dunai-bayes repo
#355
turion
opened
3 months ago
0
Recording
#354
turion
opened
3 months ago
0
rhine-bayes: Add presentation
#353
turion
opened
3 months ago
0
Possible fix for #304: Simplify init_clock and make sinceLast a Maybe
#352
turion
opened
3 months ago
0
WIP inspection test to ensure correct optimization
#351
turion
opened
3 months ago
0
Add script to simplify screen recordings.
#350
turion
opened
3 months ago
0
Extend benchmark
#349
turion
opened
3 months ago
0
Remove SN GADT in favour of inlinable functions
#348
turion
closed
18 hours ago
1
Improve docs
#347
turion
closed
3 months ago
0
Fix naming of initial and final
#346
turion
closed
3 months ago
1
Bump QuickCheck upper bound
#345
turion
closed
4 months ago
0
Bump kleidukos/get-tested from 0.1.7.0 to 0.1.7.1
#344
dependabot[bot]
closed
4 months ago
0
Schedule a list of automata efficiently
#343
turion
closed
1 month ago
0
Use get-tested to compare nix flake build matrix with github actions matrix
#342
turion
opened
4 months ago
0
Rewrite Nix flake
#341
ners
closed
4 months ago
4
Allow GHC 9.10
#340
turion
closed
2 weeks ago
1
Relax tasty-quickcheck bounds
#339
turion
closed
5 months ago
1
Allow to specify constraints on the internal state of an automaton?
#338
turion
opened
5 months ago
1
Sundry
#337
turion
closed
3 months ago
0
not accepting `rhine` 1.4.0.1?
#336
alaendle
closed
5 months ago
2
Dev nix caching
#335
turion
closed
5 months ago
2
Version bump to 1.4, changelog updates
#334
turion
closed
5 months ago
0
Sundry
#333
turion
closed
5 months ago
0
Release 1.4
#332
turion
closed
5 months ago
1
Final changes to make rhine-koans the new main documentation resource
#331
turion
closed
5 months ago
0
Can only use one Gloss clock at a time
#330
turion
opened
6 months ago
0
Dev free async
#329
turion
closed
6 months ago
0
Next