johnynek/bosatsu
View on GitHubA python-ish pure and total functional programming language
- Stars
- 234
- Forks
- 12
- Open beginner issues
- 0
- Indexed issues
- 92
- Avg merge
- 5d 17h
- Merged PRs (30d)
- 21
- Dominant language
- Scala
- License
- Apache-2.0
- Last GitHub push
- Sep 12, 2026
- Latest indexed
- Sep 18, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue
-
johnynek/bosatsu#2 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement
johnynek/bosatsu#20 · 8 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#36 · 7 comments · 0 reactions · 0 assignees ·
-
add a format command Opencli good first issue
johnynek/bosatsu#37 · 0 comments · 0 reactions · 0 assignees ·
-
documentation
johnynek/bosatsu#52 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#62 · 0 comments · 1 reaction · 0 assignees ·
-
documentation
johnynek/bosatsu#98 · 0 comments · 0 reactions · 0 assignees ·
-
type system
johnynek/bosatsu#106 · 1 comment · 0 reactions · 0 assignees ·
-
type unknowns Opentype system
johnynek/bosatsu#117 · 1 comment · 0 reactions · 0 assignees ·
-
optimization paper
johnynek/bosatsu#118 · 8 comments · 0 reactions · 0 assignees ·
-
type system
johnynek/bosatsu#129 · 2 comments · 0 reactions · 0 assignees ·
-
error messages
johnynek/bosatsu#132 · 1 comment · 0 reactions · 0 assignees ·
-
type system
johnynek/bosatsu#184 · 6 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#186 · 3 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#193 · 19 comments · 0 reactions · 0 assignees ·
-
type system
johnynek/bosatsu#196 · 26 comments · 0 reactions · 0 assignees ·
-
reorganize the code Open
johnynek/bosatsu#197 · 0 comments · 0 reactions · 0 assignees ·
-
testing
johnynek/bosatsu#203 · 0 comments · 0 reactions · 0 assignees ·
-
parsing
johnynek/bosatsu#206 · 1 comment · 0 reactions · 0 assignees ·
-
parsing
johnynek/bosatsu#220 · 3 comments · 0 reactions · 0 assignees ·
-
testing
johnynek/bosatsu#223 · 3 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#244 · 1 comment · 0 reactions · 0 assignees ·
-
parsing type system
johnynek/bosatsu#323 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#324 · 2 comments · 0 reactions · 0 assignees ·
-
parsing
johnynek/bosatsu#344 · 1 comment · 0 reactions · 0 assignees ·
-
documentation library system
johnynek/bosatsu#347 · 0 comments · 0 reactions · 0 assignees ·
-
optimization type system
johnynek/bosatsu#388 · 3 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#395 · 0 comments · 0 reactions · 0 assignees ·
-
cli
johnynek/bosatsu#413 · 0 comments · 0 reactions · 0 assignees ·
-
build/ci cli library system
johnynek/bosatsu#416 · 2 comments · 0 reactions · 0 assignees ·
-
type system
johnynek/bosatsu#417 · 1 comment · 0 reactions · 0 assignees ·
-
error messages
johnynek/bosatsu#421 · 0 comments · 0 reactions · 0 assignees ·
-
testing
johnynek/bosatsu#429 · 0 comments · 0 reactions · 0 assignees ·
-
library system type system
johnynek/bosatsu#430 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#435 · 1 comment · 0 reactions · 0 assignees ·
-
type system
johnynek/bosatsu#440 · 1 comment · 0 reactions · 0 assignees ·
-
type system
johnynek/bosatsu#442 · 4 comments · 0 reactions · 0 assignees ·
-
implement a repl Opencli
johnynek/bosatsu#443 · 1 comment · 0 reactions · 0 assignees ·
-
ranges in patterns Openparsing
johnynek/bosatsu#456 · 2 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#457 · 1 comment · 0 reactions · 0 assignees ·
-
parsing type system
johnynek/bosatsu#469 · 2 comments · 0 reactions · 0 assignees ·
-
parsing
johnynek/bosatsu#471 · 9 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#504 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#539 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#557 · 3 comments · 0 reactions · 0 assignees ·
-
testing
johnynek/bosatsu#561 · 0 comments · 0 reactions · 0 assignees ·
-
binary_format
johnynek/bosatsu#629 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#630 · 3 comments · 0 reactions · 0 assignees ·
-
paper type system
johnynek/bosatsu#650 · 0 comments · 0 reactions · 0 assignees ·
-
union types Opentype system
johnynek/bosatsu#735 · 1 comment · 0 reactions · 0 assignees ·