Owner
RedPRL
已索引 7 个仓库 · 在 GitHub 查看
-
asai
🩺 A library for compiler diagnostics
OCaml · 55 个 star
-
algaeff
🦠 Reusable components based on algebraic effects
OCaml · 52 个 star
-
mugen
♾️ A library for universe levels and universe polymorphism
OCaml · 42 个 star
-
yuujinchou
👹 A library for hierarchical names and lexical scoping
OCaml · 28 个 star
-
ocaml-bwd
🔙 Backward lists for OCaml
OCaml · 21 个 star
-
agda-mugen
A formalization of the theory behind the mugen library
Agda · 20 个 star
-
bantorra
📚 A library for managing libraries and resolving unit paths
OCaml · 17 个 star
-
难度 3/5 1-2 天 新手友好度 30/100
-
难度 3/5 1-2 天 新手友好度 45/100
-
难度 4/5 3-5 天 新手友好度 38/100
-
难度 5/5 一周以上 新手友好度 30/100
-
难度 3/5 1-2 天 新手友好度 20/100
-
难度 3/5 1-2 天 新手友好度 45/100
-
难度 4/5 3-5 天 新手友好度 35/100
-
难度 5/5 一周以上 新手友好度 30/100
RedPRL/yuujinchou#139 ·
-
design is needed documentation
难度 5/5 一周以上 新手友好度 30/100
-
难度 5/5 一周以上 新手友好度 25/100
-
难度 5/5 一周以上 新手友好度 25/100
-
难度 3/5 1-2 天 新手友好度 45/100
-
难度 5/5 一周以上 新手友好度 25/100
-
难度 5/5 一周以上 新手友好度 25/100
-
难度 5/5 一周以上 新手友好度 30/100
-
难度 4/5 3-5 天 新手友好度 35/100
-
难度 2/5 1-3 小时 新手友好度 35/100
-
难度 3/5 1-2 天 新手友好度 20/100
RedPRL/yuujinchou#136 ·
-
难度 3/5 1-2 天 新手友好度 20/100
-
难度 4/5 3-5 天 新手友好度 25/100
-
难度 5/5 一周以上 新手友好度 15/100
-
难度 5/5 一周以上 新手友好度 10/100
RedPRL/yuujinchou#135 ·
-
难度 5/5 一周以上 新手友好度 15/100
-
难度 5/5 一周以上 新手友好度 25/100
RedPRL/yuujinchou#134 ·
-
design is needed
难度 4/5 3-5 天 新手友好度 25/100
-
难度 2/5 1-3 小时 新手友好度 42/100
RedPRL/yuujinchou#131 · 2 条评论 · 1 个 reaction ·
-
enhancement
难度 5/5 一周以上 新手友好度 10/100
RedPRL/agda-mugen#59 ·
-
难度 5/5 一周以上 新手友好度 25/100
-
question
难度 5/5 一周以上 新手友好度 25/100
RedPRL/agda-mugen#44 ·
-
难度 5/5 一周以上 新手友好度 20/100
RedPRL/agda-mugen#38 ·
-
难度 3/5 1-2 天 新手友好度 25/100
-
难度 3/5 1-2 天 新手友好度 35/100
-
难度 5/5 一周以上 新手友好度 25/100
RedPRL/yuujinchou#122 · 4 条评论 ·
-
难度 2/5 半天 新手友好度 45/100
RedPRL/yuujinchou#121 ·
-
难度 5/5 一周以上 新手友好度 30/100
-
难度 5/5 一周以上 新手友好度 15/100
-
难度 5/5 一周以上 新手友好度 20/100
RedPRL/yuujinchou#115 ·
-
难度 5/5 一周以上 新手友好度 35/100
RedPRL/yuujinchou#113 ·
-
难度 5/5 一周以上 新手友好度 35/100
RedPRL/yuujinchou#112 ·
-
design is needed help wanted lsp
难度 5/5 一周以上 新手友好度 25/100
-
Unit remapping 未关闭enhancement specification
难度 5/5 一周以上 新手友好度 25/100
-
Offline mode 未关闭
难度 4/5 3-5 天 新手友好度 30/100
-
难度 5/5 一周以上 新手友好度 20/100
-
难度 5/5 一周以上 新手友好度 20/100
-
question
难度 5/5 一周以上 新手友好度 25/100
-
question
难度 5/5 一周以上 新手友好度 20/100
-
RedPRL/agda-mugen#3 · 已指派 1 人 ·
-
documentation lsp
难度 3/5 1-2 天 新手友好度 35/100
-
难度 5/5 一周以上 新手友好度 25/100
-
难度 5/5 一周以上 新手友好度 15/100