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
-
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 ·
-
API wishlist Open
-
johnynek/zafu#135 · 0 comments · 0 reactions · 0 assignees ·
-
agent:ignore agent:roadmap
johnynek/zafu#166 · 32 comments · 0 reactions · 0 assignees ·
-
agent:ignore agent:small-job
johnynek/zafu#205 · 5 comments · 0 reactions · 0 assignees ·
-
agent:small-job
-
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 ·
-
type system
johnynek/bosatsu#749 · 2 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#763 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#764 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#777 · 0 comments · 1 reaction · 0 assignees ·
-
starlark backend Open
johnynek/bosatsu#783 · 0 comments · 0 reactions · 0 assignees ·
-
paper type system
johnynek/bosatsu#869 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#948 · 0 comments · 0 reactions · 0 assignees ·
-
error messages
johnynek/bosatsu#962 · 2 comments · 0 reactions · 0 assignees ·
-
optimization
johnynek/bosatsu#966 · 2 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#978 · 0 comments · 0 reactions · 0 assignees ·
-
type system
johnynek/bosatsu#1103 · 0 comments · 0 reactions · 0 assignees ·
-
testing
johnynek/bosatsu#1180 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#1185 · 2 comments · 0 reactions · 0 assignees ·
-
type system
johnynek/bosatsu#1191 · 0 comments · 0 reactions · 0 assignees ·
-
parsing
johnynek/bosatsu#1241 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#1263 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#1270 · 0 comments · 0 reactions · 0 assignees ·
-
optimization
johnynek/bosatsu#1315 · 1 comment · 0 reactions · 0 assignees ·
-
optimization
johnynek/bosatsu#1541 · 0 comments · 0 reactions · 0 assignees ·
-
build/ci
johnynek/bosatsu#1583 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#1608 · 0 comments · 0 reactions · 0 assignees ·
-
optimization
johnynek/bosatsu#1628 · 1 comment · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#1702 · 1 comment · 0 reactions · 0 assignees ·
-
paper
johnynek/bosatsu#1705 · 0 comments · 0 reactions · 0 assignees ·
-
johnynek/bosatsu#1723 · 0 comments · 0 reactions · 0 assignees ·
-
agent:small-job
johnynek/bosatsu#1788 · 3 comments · 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.