Skip to content

Pull requests: turion/rhine

New pull request New
45 Open 185 Closed
45 Open 185 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add ListT implementation based on coalgebraic streams
#384 opened Dec 30, 2024 by turion • Draft
4 tasks
Add rhine-lens
#382 opened Dec 28, 2024 by turion • Draft
Extend automaton
#381 opened Dec 28, 2024 by turion Loading…
2
flake.lock: Update
#380 opened Dec 3, 2024 by turion Loading…
2
Internal monad schedule class
#376 opened Nov 29, 2024 by turion • Draft
1
rhine-dom
#374 opened Nov 16, 2024 by turion • Draft
1 task
Build monad-schedule without parallelism in CI
#373 opened Nov 16, 2024 by ners Loading…
Dev regression #365
#368 opened Oct 27, 2024 by turion Loading…
4
Recording
#354 opened Aug 29, 2024 by turion • Draft
rhine-bayes: Add presentation
#353 opened Aug 29, 2024 by turion • Draft
Possible fix for #304: Simplify init_clock and make sinceLast a Maybe
#352 opened Aug 29, 2024 by turion • Draft
WIP inspection test to ensure correct optimization
#351 opened Aug 29, 2024 by turion • Draft
Add script to simplify screen recordings.
#350 opened Aug 29, 2024 by turion Loading…
Extend benchmark
#349 opened Aug 13, 2024 by turion Loading…
5 tasks
Use get-tested to compare nix flake build matrix with github actions matrix
#342 opened Jul 15, 2024 by turion Loading…
1 task
Fix #304 (simplify init clock)
#323 opened May 16, 2024 by turion Loading…
1 task done
1
3
Improve clock erasure in the light of automata
#309 opened May 10, 2024 by turion Loading…
Catch io exceptions in clocks
#300 opened Mar 13, 2024 by turion • Draft
Local clock
#291 opened Feb 23, 2024 by turion • Draft
1 task
Inference buffer
#290 opened Feb 16, 2024 by turion • Draft
Fix MacOS runtime error in Gloss apps
#283 opened Jan 30, 2024 by turion Loading…
1 of 5 tasks
Zurihac24
1
1
Dev upper bounds
#273 opened Jan 6, 2024 by turion Loading…
1 of 2 tasks
2
Making SN an arrow: Further ideas
#263 opened Nov 14, 2023 by turion • Draft
2 tasks
Make SN an Arrow
#261 opened Nov 13, 2023 by turion • Draft
1 task done
v2
@turion
1
Dev ppmmh feature rhine-bayes
#244 opened Aug 7, 2023 by turion Loading…
1
ProTip! Updated in the last three days: updated:>2025-01-11.