Proprietario

RedPRL

7 repository indicizzati · Vedi su GitHub

asai
🩺 A library for compiler diagnostics

OCaml · 55 stelle
algaeff
🦠 Reusable components based on algebraic effects

OCaml · 52 stelle
mugen
♾️ A library for universe levels and universe polymorphism

OCaml · 42 stelle
yuujinchou
👹 A library for hierarchical names and lexical scoping

OCaml · 28 stelle
ocaml-bwd
🔙 Backward lists for OCaml

OCaml · 21 stelle
agda-mugen
A formalization of the theory behind the mugen library

Agda · 20 stelle
bantorra
📚 A library for managing libraries and resolving unit paths

OCaml · 17 stelle

Adatte ai principianti Tutto

Aperta Tutte

Setting severity color Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100

RedPRL/asai#199 · Aperta il 14/1/2026
Configurable unicode Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

RedPRL/asai#196 · 3 commenti · 1 reazione · Aperta il 7/8/2025
Allow extra_remarks that are colored by severity Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

RedPRL/asai#195 · Aperta il 11/6/2025
What would it take to support UTF16 encoding? Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

RedPRL/asai#192 · 4 commenti · Aperta il 12/1/2025
GitHub backend: `::` in title will break the title Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 20/100

RedPRL/asai#190 · Aperta il 27/12/2024
Rename `Bwd.append` to `Bwd.append_list` Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

RedPRL/ocaml-bwd#31 · 2 commenti · Aperta il 18/12/2024
Changing the message of a structured diagnostic Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

RedPRL/asai#189 · 2 commenti · 1 reazione · Aperta il 23/11/2024
🤔 How to create completion items when OCaml-style local opens are involved? Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

RedPRL/yuujinchou#139 · Aperta il 19/11/2024
Naming in range.ml Aperta

design is needed documentation

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

RedPRL/asai#187 · 1 commento · Aperta il 2/11/2024
🔣 A domain-specific language with handler combinators Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/asai#186 · 4 commenti · Aperta il 1/11/2024
⏳ Buffering handler for accumulating diagnostics Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/asai#185 · 2 commenti · Aperta il 31/10/2024
🅱️ Fallback when file reading fails Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

RedPRL/asai#179 · Aperta il 30/10/2024
🌎 Generalized "positions"? Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/asai#169 · 10 commenti · 1 reazione · Aperta il 21/10/2024
🔍 Looking up ranges in structured data Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/asai#162 · Aperta il 16/10/2024
🔇 Suppress diagnostics caused by already reported errors Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

RedPRL/asai#160 · 11 commenti · 1 reazione · Aperta il 14/10/2024
Add error effect? Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

RedPRL/algaeff#34 · 1 commento · Aperta il 1/10/2024
🖥️ Document DEC mode 2027 Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100

RedPRL/asai#155 · Aperta il 27/9/2024
🔤 Use OCaml 5.3 effect syntax Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 20/100

RedPRL/yuujinchou#136 · Aperta il 27/9/2024
🔤 Use OCaml 5.3 effect syntax Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 20/100

RedPRL/asai#154 · Aperta il 27/9/2024
Use OCaml 5.3 effect syntax Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

RedPRL/algaeff#32 · Aperta il 27/9/2024
🇱 Check the message tree to explore errors in Lean 4 Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

RedPRL/asai#152 · Aperta il 19/8/2024
🦇 Agda-like batch applications Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 10/100

RedPRL/yuujinchou#135 · Aperta il 19/8/2024
🧵 Helper functions to support error reporting from multiple threads Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

RedPRL/asai#151 · Aperta il 19/8/2024
🧐 Investigate the alternative scoping in Narya Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/yuujinchou#134 · Aperta il 14/8/2024
🖨️ A more flexible API to specify output target Aperta

design is needed

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

RedPRL/asai#150 · 10 commenti · 1 reazione · Aperta il 7/8/2024
🍛 Curry the API (more) Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 42/100

RedPRL/yuujinchou#131 · 2 commenti · 1 reazione · Aperta il 18/6/2024
Generalize the non-dependent left-invariant right-centered projects into a dependent one? Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 10/100

RedPRL/agda-mugen#59 · Aperta il 13/6/2024
Order of iteration Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/ocaml-bwd#29 · 28 commenti · 1 reazione · Aperta il 2/1/2024
Formalize POPL 2023 Example 2.15? Aperta

question

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/agda-mugen#44 · Aperta il 28/11/2023
Study the "wrong" Fractal Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

RedPRL/agda-mugen#38 · Aperta il 27/11/2023
✅ Add tests for the new functions in `String_utils` Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100

RedPRL/asai#148 · Aperta il 16/11/2023
📚 Investigate and maybe document how "Info" and "Hint" are used in editors Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

RedPRL/asai#146 · Aperta il 14/11/2023
🔍 Provide the API to easily support "did you mean...?" Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/yuujinchou#122 · 4 commenti · Aperta il 26/10/2023
📚 Rewrite introduction Aperta

Difficoltà 2/5 Mezza giornata Idoneità per principianti 45/100

RedPRL/yuujinchou#121 · Aperta il 20/10/2023
💅 Implement a handler based on grace Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

RedPRL/asai#107 · 8 commenti · Aperta il 18/10/2023
Create a cool project page Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

RedPRL/algaeff#21 · Aperta il 20/9/2023
❓ Detection of possibly ambiguous unions Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

RedPRL/yuujinchou#115 · Aperta il 13/9/2023
🔍 Detection of fragile unions and/or imports Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

RedPRL/yuujinchou#113 · Aperta il 30/8/2023
Reverse name lookup Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

RedPRL/yuujinchou#112 · Aperta il 30/8/2023
Current LSP backend is not compositional Aperta

design is needed help wanted lsp

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/asai#42 · 4 commenti · Aperta il 30/8/2023
Unit remapping Aperta

enhancement specification

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/bantorra#74 · Aperta il 30/8/2023
Offline mode Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

RedPRL/bantorra#73 · Aperta il 30/8/2023
Go-like minimum version solver Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

RedPRL/bantorra#72 · Aperta il 30/8/2023
Implement joins of universe levels (not just of displacements) Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

RedPRL/mugen#19 · Aperta il 28/8/2023
Abstraction for library versions Aperta

question

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/bantorra#70 · Aperta il 28/8/2023
Debugging support Aperta

question

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

RedPRL/asai#38 · 1 commento · Aperta il 7/6/2023
Webpage generation Aperta

RedPRL/agda-mugen#3 · 1 assegnatario · Aperta il 4/10/2022
🖥️ Add example configurations for LSP servers Aperta

documentation lsp

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

RedPRL/asai#1 · 7 commenti · Aperta il 14/7/2022
Expose the API to read and write anchor files Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

RedPRL/bantorra#52 · Aperta il 14/7/2021
📦 Command-line tool Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

RedPRL/bantorra#62 · 1 commento · Aperta il 14/7/2021

RedPRL

Ricevi le nuove issue nella tua casella