RedPRL/bantorra

Issues

• Update to current Asai

  #77 opened 6 months ago by mikeshulman
  4

• Cache parsed configuration files (rewrite tables)

  #64 opened a year ago by favonia
  0

• Cache size management

  #4 opened a year ago by favonia
  0

• git: avoid re-fetching the same branch

  #65 opened a year ago by favonia
  2

• Eager checking

  #56 opened a year ago by favonia
  1

• Use data-encoding?

  #76 opened a year ago by favonia
  0

• Use the new Mutex.protect

  #68 opened a year ago by favonia
  1

• Unit remapping

  #74 opened a year ago by favonia
  0

• Global mapping on public websites

  #8 opened 2 years ago by favonia
  1

• Expose the API to read and write anchor files

  #52 opened 3 years ago by favonia
  0

• Abstraction for library versions

  #70 opened a year ago by favonia
  0

• Offline mode

  #73 opened a year ago by favonia
  0

• Locally redirection or vendoring of _arbitrary_ dependencies

  #71 opened a year ago by favonia
  1

• Go-like minimum version solver

  #72 opened a year ago by favonia
  0

• Support library-wide options

  #6 opened 5 years ago by favonia
  0

• 📦 Command-line tool

  #62 opened 3 years ago by favonia
  1

• Add tests for routers

  #19 opened 4 years ago by favonia
  0

• Support pre-mounted standard libraries

  #29 opened 2 years ago by favonia
  0

• Add Table.lookup

  #66 opened 2 years ago by favonia
  0

• Rewrite JSON parsing with json-data-encoding

  #60 opened 2 years ago by favonia
  1

• Rewrite BantorraBasis with bos

  #61 opened 2 years ago by favonia
  0

• Support calculating the library root before initiating a library manager

  #51 opened 2 years ago by favonia
  1

• Use Unix.realpath (via OCaml 4.13) and avoid Unix.chdir

  #53 opened 3 years ago by favonia
  0

• Anchor file locator should take the manager as the argument

  #36 opened 4 years ago by favonia
  0

• Allow nested libraries

  #35 opened 4 years ago by favonia
  0

• Add the trivial "path" resolver

  #34 opened 4 years ago by favonia
  0

• Reduce the use of string concatenation ^

  #31 opened 4 years ago by favonia
  0

• UserConfig.write is unsafe

  #21 opened 4 years ago by favonia
  1

• Use JSON instead of YAML

  #28 opened 4 years ago by favonia
  0

• API to manipulate/reread the user config

  #13 opened 4 years ago by favonia
  0

• Refactor conversion code between Hashtbl and List

  #14 opened 4 years ago by favonia
  0

• [library resolver] local waypoints.

  #9 opened 5 years ago by favonia
  0

• Grand rewrite plan

  #1 opened 5 years ago by favonia
  0