Owner
johnynek
10 indexed repositories · View on GitHub
-
bosatsu
A python-ish pure and total functional programming language
Scala · 234 stars
-
inliner
scala macros to inline idiomatic scala for maximum performance
Scala · 104 stars
-
brunet
a P2P library developed at the University of Florida
C# · 45 stars
-
funcytown
Immutable/persistent functional data-structures which can transparently spill to disk.
Scala · 13 stars
-
ghissue
Command-line Github issues client
Haskell · 11 stars
-
netmodeler
a C++ package for analyzing and modeling network/graph structure.
C++ · 7 stars
-
rules_tla
Bazel rules for TLA+
TLA · 6 stars
-
gottlob
Bazel rules for the Frege programming language
Java · 5 stars
-
Scala · 5 stars
-
zafu
A platform of useful code for bosatsu
Python · 0 stars
-
Dead link (?) Open
johnynek/netmodeler#1 · 2 comments · 0 reactions · 0 assignees ·
-
johnynek/funcytown#2 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/inliner#1 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/inliner#5 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/ghissue#12 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/ghissue#19 · 0 comments · 0 reactions · 1 assignee ·
-
johnynek/ghissue#21 · 0 comments · 0 reactions · 1 assignee ·
-
johnynek/ghissue#22 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/rules_tla#1 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/rules_tla#2 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/rules_tla#3 · 0 comments · 0 reactions · 0 assignees ·
-
add support for SANY Open
johnynek/rules_tla#4 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/rules_tla#5 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/gottlob#1 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/gottlob#2 · 0 comments · 0 reactions · 0 assignees ·
-
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 ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.