Skip to content

issues Search Results · repo:UnixJunkie/parany language:OCaml

Filter by

67 results
 (56 ms)

67 results

inUnixJunkie/parany (press backspace or delete to remove)

Dear Madam or Sir, due to the opam repository archival process, we are keen to have the maintainers of packages specify their intention. We noticed that parany has a lot of releases, and are curious what ...
  • hannesm
  • Opened 
    on Jan 7
  • #77

Was detected while using pardi: https://github.com/UnixJunkie/pardi/issues/25
bug
prio-01
  • UnixJunkie
  • 1
  • Opened 
    on Oct 5, 2023
  • #76

look at latest opam file in opam-repos. w/ version 13; i.e. 12.2.2
packaging
prio-01
  • UnixJunkie
  • 2
  • Opened 
    on May 17, 2023
  • #74

enhancement
feature-request
prio-01
  • UnixJunkie
  • 1
  • Opened 
    on May 17, 2023
  • #73

- go back to fork-based - put current master in a specific branch
performance
prio-01
  • UnixJunkie
  • 2
  • Opened 
    on Apr 13, 2023
  • #72

Demux and mux can probably be done by the same thread. Then, there are no more Chans needed. - try to see if it improves my benchmark using the ACP4 encoder in //
contribution-welcome
performance
prio-02
  • UnixJunkie
  • 2
  • Opened 
    on Jan 30, 2023
  • #71

performance
prio-02
  • UnixJunkie
  • 11
  • Opened 
    on Jan 25, 2023
  • #70

Either provide one, or look at doing it automatically at thread exit using a registered callback, or do both.
enhancement
prio-02
  • UnixJunkie
  • 2
  • Opened 
    on Jan 16, 2023
  • #69

packaging
prio-01
  • UnixJunkie
  • 1
  • Opened 
    on Jan 13, 2023
  • #68

prio-01
  • UnixJunkie
  • 2
  • Opened 
    on Jan 13, 2023
  • #67
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue search results · GitHub