Skip to content

Pull requests: SkyLabsAI/BRiCk

New pull request New
17 Open 200 Closed
17 Open 200 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Free_temps: agent-based sketch
#285 opened Aug 15, 2026 by pgiarrusso-sl Contributor Loading…
@pgiarrusso-sl
1
Extract FreeTemps.t to a separate file
#284 opened Aug 14, 2026 by pgiarrusso-sl Contributor Loading…
@pgiarrusso-sl
1
feat: std::initializer_list
#281 opened Aug 10, 2026 by jhaag-skylabs-ai Contributor Loading…
@jhaag-skylabs-ai
9
LLM-generated off-to-side location information tracking
#280 opened Aug 8, 2026 by Janno Contributor • Draft
4
Paolo/gmalecha monadic wp rebase
#278 opened Aug 6, 2026 by pgiarrusso-sl Contributor Loading…
@pgiarrusso-sl
4
Gmalecha/monadic wp ci-skip
#270 opened Jul 23, 2026 by pgiarrusso-sl Contributor Loading…
3
Make specification symbols opaque
#259 opened Jul 9, 2026 by gmalecha-at-skylabs Contributor Loading…
@gmalecha-at-skylabs
6
Add complexity estimator library with Ltac2 bindings
#256 opened Jul 8, 2026 by Janno Contributor Loading…
27
Split cpp.prog into separate plugins
#249 opened Jul 2, 2026 by pgiarrusso-sl Contributor Loading…
1
@pgiarrusso-sl
10
enable native libstdc++ cpp2v in macos
#246 opened Jul 1, 2026 by aa755 Contributor Loading…
2
upoly.effects: export missing notations
#194 opened Jun 4, 2026 by pgiarrusso-sl Contributor • Draft
1
Tweak/revise [cz]string (mostly docs) etc
#128 opened May 1, 2026 by pgiarrusso-sl Contributor • Draft
@pgiarrusso-sl
4
Fix and document backtracking in ltac2-tc-dispatch
#121 opened Apr 24, 2026 by Janno Contributor • Draft
3
A proposal for [Proper]-like relations on [bi]
#119 opened Apr 20, 2026 by gmalecha-at-skylabs Contributor Loading…
@gmalecha-at-skylabs
7
Remove the initial state from [Sts]
#114 opened Apr 14, 2026 by gmalecha-at-skylabs Contributor Loading…
@gmalecha-at-skylabs
3
Fix typos and grammar: README.md
#7 opened Dec 14, 2024 by CharlesCNorton Loading…
@gmalecha
1
Update README.md
#6 opened Dec 11, 2024 by gares Contributor • Draft
2
ProTip! Add no:assignee to see everything that’s not assigned.