fram-lang/dbl
View on GitHubAn experimental programming language that combines effect handlers and implicit parameters
- Stars
- 45
- Forks
- 28
- Open beginner issues
- 0
- Indexed issues
- 55
- Dominant language
- OCaml
- License
- MIT
- Last GitHub push
- May 25, 2026
- Latest indexed
- Sep 16, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue
- PR merge metrics
- No merged PRs in 30d
-
1. type inference
-
3. core 4. eval proposal
-
1. type inference 2.1. pattern-matching proposal
-
ADTs as modules Open1. type inference proposal
-
Modules as ADTs Open1. type inference proposal
-
0. parsing
-
1. type inference good first issue
-
1. type inference error messages
-
good first issue
-
Type classes Openproposal
-
2.1. pattern-matching good first issue
-
Dynamic handlers Open0. parsing 1. type inference 2. effect inference
-
0. parsing good first issue
-
1. type inference
-
1. type inference
fram-lang/dbl#201 · 0 comments · 0 reactions · 0 assignees ·
-
2.2. sat
fram-lang/dbl#202 · 0 comments · 0 reactions · 0 assignees ·
-
2.2. sat proposal
fram-lang/dbl#203 · 0 comments · 0 reactions · 0 assignees ·
-
0. parsing 1. type inference 2. effect inference 3. core 4. eval proposal
-
0. parsing good first issue
fram-lang/dbl#206 · 0 comments · 0 reactions · 0 assignees ·
-
2.1. pattern-matching error messages good first issue
fram-lang/dbl#210 · 4 comments · 0 reactions · 0 assignees ·
-
1. type inference
fram-lang/dbl#211 · 0 comments · 0 reactions · 0 assignees ·
-
2. effect inference 4.1. repl
-
Type synonyms Open
fram-lang/dbl#222 · 0 comments · 0 reactions · 0 assignees ·
-
0. parsing 1. type inference
fram-lang/dbl#224 · 0 comments · 0 reactions · 0 assignees ·
-
3. core
fram-lang/dbl#225 · 0 comments · 0 reactions · 0 assignees ·
-
1. type inference
fram-lang/dbl#226 · 0 comments · 0 reactions · 0 assignees ·
-
1. type inference
fram-lang/dbl#227 · 0 comments · 0 reactions · 0 assignees ·
-
0. parsing 1. type inference
fram-lang/dbl#229 · 0 comments · 0 reactions · 0 assignees ·
-
1. type inference 2. effect inference error messages
fram-lang/dbl#230 · 0 comments · 0 reactions · 0 assignees ·
-
4.1. repl
fram-lang/dbl#252 · 0 comments · 0 reactions · 0 assignees ·
-
1. type inference
fram-lang/dbl#254 · 2 comments · 0 reactions · 0 assignees ·
-
Vector module Openstdlib
-
0. parsing good first issue
fram-lang/dbl#263 · 0 comments · 0 reactions · 0 assignees ·
-
Qualified imports Open0. parsing 1. type inference
fram-lang/dbl#274 · 0 comments · 0 reactions · 0 assignees ·
-
good first issue stdlib
-
0. parsing
fram-lang/dbl#284 · 0 comments · 0 reactions · 0 assignees ·
-
0. parsing
fram-lang/dbl#286 · 0 comments · 0 reactions · 0 assignees ·
-
Holes Open1. type inference 2. effect inference
fram-lang/dbl#291 · 0 comments · 0 reactions · 0 assignees ·
-
0. parsing 1. type inference
fram-lang/dbl#292 · 0 comments · 0 reactions · 0 assignees ·
-
Method identifiers Open0. parsing 1. type inference
fram-lang/dbl#309 · 0 comments · 0 reactions · 0 assignees ·
-
0. parsing
-
0. parsing documentation
-
0. parsing 1. type inference
fram-lang/dbl#314 · 0 comments · 0 reactions · 0 assignees ·
-
0. parsing 1. type inference
fram-lang/dbl#315 · 0 comments · 0 reactions · 0 assignees ·
-
fram-lang/dbl#324 · 0 comments · 0 reactions · 0 assignees ·
-
error messages good first issue
fram-lang/dbl#325 · 0 comments · 0 reactions · 0 assignees ·
-
stdlib
-
0. parsing
-
Effect modes Open
fram-lang/dbl#343 · 0 comments · 0 reactions · 0 assignees ·
-
good first issue stdlib
fram-lang/dbl#344 · 0 comments · 0 reactions · 0 assignees ·