Skip to content

Issues: RedPRL/bantorra

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
9 Open 24 Closed
9 Open 24 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Update to current Asai
#77 by mikeshulman was closed Sep 5, 2024
1
4
Use data-encoding?
#76 by favonia was closed Oct 23, 2023
Locally redirection or vendoring of _arbitrary_ dependencies
#71 by favonia was closed Aug 30, 2023
1
Use the new Mutex.protect blocked: OCaml 5.1
#68 by favonia was closed Sep 20, 2023 0.2.0
1
Add Table.lookup
#66 by favonia was closed Oct 11, 2022
1
git: avoid re-fetching the same branch
#65 by favonia was closed Nov 14, 2023 not planned
2
Cache parsed configuration files (rewrite tables)
#64 by favonia was closed Nov 14, 2023 not planned
Rewrite BantorraBasis with bos
#61 by favonia was closed Sep 25, 2022
2 of 3 tasks
1
Rewrite JSON parsing with json-data-encoding
#60 by favonia was closed Sep 25, 2022
1
1
Eager checking bug Something isn't working
#56 by favonia was closed Nov 14, 2023 far away
1
Use Unix.realpath (via OCaml 4.13) and avoid Unix.chdir
#53 by favonia was closed Oct 2, 2021
1
Support calculating the library root before initiating a library manager
#51 by favonia was closed Sep 25, 2022
1
Anchor file locator should take the manager as the argument
#36 by favonia was closed Jun 21, 2021
1
Allow nested libraries
#35 by favonia was closed Jun 21, 2021
1
Add the trivial "path" resolver
#34 by favonia was closed Jun 21, 2021
1
Reduce the use of string concatenation ^
#31 by favonia was closed Jun 21, 2021
1
Support pre-mounted standard libraries
#29 by favonia was closed Jan 1, 2023 0.1.0
1
Use JSON instead of YAML
#28 by favonia was closed Jun 17, 2021
1
UserConfig.write is unsafe
#21 by favonia was closed Jun 17, 2021
1
Refactor conversion code between Hashtbl and List
#14 by favonia was closed Jun 27, 2020
1
API to manipulate/reread the user config plugins
#13 by favonia was closed Jun 27, 2020
1
[library resolver] local waypoints. plugins specification
#9 by favonia was closed Jun 25, 2020
Cache size management enhancement New feature or request
#4 by favonia was closed Nov 14, 2023 not planned
Grand rewrite plan
#1 by favonia was closed Jun 20, 2020
3 tasks done
ProTip! Updated in the last three days: updated:>2025-02-28.