Owner

RedPRL

7 indexed repositories · View on GitHub

asai
🩺 A library for compiler diagnostics

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

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

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

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

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

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

OCaml · 17 stars

Beginner friendly Everything

Open All

Setting severity color Open

Difficulty 3/5 1-2 days Newbie friendliness 30/100

RedPRL/asai#199 · Opened Jan 14, 2026
Configurable unicode Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

RedPRL/asai#196 · 3 comments · 1 reaction · Opened Aug 7, 2025
Allow extra_remarks that are colored by severity Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

RedPRL/asai#195 · Opened Jun 11, 2025
What would it take to support UTF16 encoding? Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

RedPRL/asai#192 · 4 comments · Opened Jan 12, 2025
GitHub backend: `::` in title will break the title Open

Difficulty 3/5 1-2 days Newbie friendliness 20/100

RedPRL/asai#190 · Opened Dec 27, 2024
Rename `Bwd.append` to `Bwd.append_list` Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

RedPRL/ocaml-bwd#31 · 2 comments · Opened Dec 18, 2024
Changing the message of a structured diagnostic Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

RedPRL/asai#189 · 2 comments · 1 reaction · Opened Nov 23, 2024
🤔 How to create completion items when OCaml-style local opens are involved? Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

RedPRL/yuujinchou#139 · Opened Nov 19, 2024
Naming in range.ml Open

design is needed documentation

Difficulty 5/5 Over a week Newbie friendliness 30/100

RedPRL/asai#187 · 1 comment · Opened Nov 2, 2024
🔣 A domain-specific language with handler combinators Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/asai#186 · 4 comments · Opened Nov 1, 2024
⏳ Buffering handler for accumulating diagnostics Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/asai#185 · 2 comments · Opened Oct 31, 2024
🅱️ Fallback when file reading fails Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

RedPRL/asai#179 · Opened Oct 30, 2024
🌎 Generalized "positions"? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/asai#169 · 10 comments · 1 reaction · Opened Oct 21, 2024
🔍 Looking up ranges in structured data Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/asai#162 · Opened Oct 16, 2024
🔇 Suppress diagnostics caused by already reported errors Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

RedPRL/asai#160 · 11 comments · 1 reaction · Opened Oct 14, 2024
Add error effect? Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

RedPRL/algaeff#34 · 1 comment · Opened Oct 1, 2024
🖥️ Document DEC mode 2027 Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

RedPRL/asai#155 · Opened Sep 27, 2024
🔤 Use OCaml 5.3 effect syntax Open

Difficulty 3/5 1-2 days Newbie friendliness 20/100

RedPRL/yuujinchou#136 · Opened Sep 27, 2024
🔤 Use OCaml 5.3 effect syntax Open

Difficulty 3/5 1-2 days Newbie friendliness 20/100

RedPRL/asai#154 · Opened Sep 27, 2024
Use OCaml 5.3 effect syntax Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

RedPRL/algaeff#32 · Opened Sep 27, 2024
🇱 Check the message tree to explore errors in Lean 4 Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

RedPRL/asai#152 · Opened Aug 19, 2024
🦇 Agda-like batch applications Open

Difficulty 5/5 Over a week Newbie friendliness 10/100

RedPRL/yuujinchou#135 · Opened Aug 19, 2024
🧵 Helper functions to support error reporting from multiple threads Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

RedPRL/asai#151 · Opened Aug 19, 2024
🧐 Investigate the alternative scoping in Narya Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/yuujinchou#134 · Opened Aug 14, 2024
🖨️ A more flexible API to specify output target Open

design is needed

Difficulty 4/5 3-5 days Newbie friendliness 25/100

RedPRL/asai#150 · 10 comments · 1 reaction · Opened Aug 7, 2024
🍛 Curry the API (more) Open

Difficulty 2/5 1-3 hours Newbie friendliness 42/100

RedPRL/yuujinchou#131 · 2 comments · 1 reaction · Opened Jun 18, 2024
Generalize the non-dependent left-invariant right-centered projects into a dependent one? Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 10/100

RedPRL/agda-mugen#59 · Opened Jun 13, 2024
Order of iteration Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/ocaml-bwd#29 · 28 comments · 1 reaction · Opened Jan 2, 2024
Formalize POPL 2023 Example 2.15? Open

question

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/agda-mugen#44 · Opened Nov 28, 2023
Study the "wrong" Fractal Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

RedPRL/agda-mugen#38 · Opened Nov 27, 2023
✅ Add tests for the new functions in `String_utils` Open

Difficulty 3/5 1-2 days Newbie friendliness 25/100

RedPRL/asai#148 · Opened Nov 16, 2023
📚 Investigate and maybe document how "Info" and "Hint" are used in editors Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

RedPRL/asai#146 · Opened Nov 14, 2023
🔍 Provide the API to easily support "did you mean...?" Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/yuujinchou#122 · 4 comments · Opened Oct 26, 2023
📚 Rewrite introduction Open

Difficulty 2/5 Half a day Newbie friendliness 45/100

RedPRL/yuujinchou#121 · Opened Oct 20, 2023
💅 Implement a handler based on grace Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

RedPRL/asai#107 · 8 comments · Opened Oct 18, 2023
Create a cool project page Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

RedPRL/algaeff#21 · Opened Sep 20, 2023
❓ Detection of possibly ambiguous unions Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

RedPRL/yuujinchou#115 · Opened Sep 13, 2023
🔍 Detection of fragile unions and/or imports Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

RedPRL/yuujinchou#113 · Opened Aug 30, 2023
Reverse name lookup Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

RedPRL/yuujinchou#112 · Opened Aug 30, 2023
Current LSP backend is not compositional Open

design is needed help wanted lsp

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/asai#42 · 4 comments · Opened Aug 30, 2023
Unit remapping Open

enhancement specification

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/bantorra#74 · Opened Aug 30, 2023
Offline mode Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

RedPRL/bantorra#73 · Opened Aug 30, 2023
Go-like minimum version solver Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

RedPRL/bantorra#72 · Opened Aug 30, 2023
Implement joins of universe levels (not just of displacements) Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

RedPRL/mugen#19 · Opened Aug 28, 2023
Abstraction for library versions Open

question

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/bantorra#70 · Opened Aug 28, 2023
Debugging support Open

question

Difficulty 5/5 Over a week Newbie friendliness 20/100

RedPRL/asai#38 · 1 comment · Opened Jun 7, 2023
Webpage generation Open

RedPRL/agda-mugen#3 · 1 assignee · Opened Oct 4, 2022
🖥️ Add example configurations for LSP servers Open

documentation lsp

Difficulty 3/5 1-2 days Newbie friendliness 35/100

RedPRL/asai#1 · 7 comments · Opened Jul 14, 2022
Expose the API to read and write anchor files Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

RedPRL/bantorra#52 · Opened Jul 14, 2021
📦 Command-line tool Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

RedPRL/bantorra#62 · 1 comment · Opened Jul 14, 2021

RedPRL

Get new issues in your inbox