Owner
ityonemo
18 indexed repositories · View on GitHub
-
clr
Checker for Lifetimes and other Refinement types
Zig · 277 stars
-
mavis
opinionated typing library for elixir
Elixir · 110 stars
-
selectrix
Static Typechecker for Elixir
Elixir · 85 stars
-
librarian
ssh library for elixir
Elixir · 43 stars
-
ez
zig linear algebra bindings for nx
Elixir · 34 stars
-
net_address
IP and Mac address tools for Elixir
Elixir · 25 stars
-
state_server
half gen_statem, half gen_server
Elixir · 22 stars
-
vsr
Viewstamped Replication
Elixir · 19 stars
-
pony_express
Securely send Phoenix.PubSub one-way, over long distances
Elixir · 14 stars
-
Elixir · 12 stars
-
realbook
imperative server provisioning for elixir
Elixir · 11 stars
-
erps
Remote Protocol call/cast server
Elixir · 6 stars
-
trivial
tftp read-only server for pxe bootstrapping
Elixir · 5 stars
-
datalevi
privacy-oriented p2p storage server
Elixir · 2 stars
-
zystem
advanced System module
Zig · 2 stars
-
mavis_inference
inference engine for mavis typesystem
Elixir · 1 star
-
Zig · 0 stars
-
mishras
Mishras: the simplest database factory library
Elixir · 0 stars
-
ityonemo/trivial#3 · 0 comments · 0 reactions · 1 assignee ·
-
documentation
ityonemo/trivial#4 · 0 comments · 0 reactions · 1 assignee ·
-
ityonemo/trivial#5 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/trivial#6 · 0 comments · 0 reactions · 0 assignees ·
-
question
-
question
-
documentation
ityonemo/pony_express#3 · 1 comment · 0 reactions · 0 assignees ·
-
usage guides Opendocumentation
ityonemo/pony_express#4 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/pony_express#5 · 0 comments · 0 reactions · 0 assignees ·
-
documentation
ityonemo/pony_express#6 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#5 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#6 · 1 comment · 0 reactions · 0 assignees ·
-
ityonemo/realbook#7 · 2 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#13 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#18 · 0 comments · 0 reactions · 0 assignees ·
-
verify-only mode Open
ityonemo/realbook#19 · 0 comments · 0 reactions · 0 assignees ·
-
documentation help wanted testing
ityonemo/realbook#24 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#27 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#28 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#31 · 1 comment · 0 reactions · 0 assignees ·
-
ityonemo/realbook#40 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#42 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#43 · 5 comments · 1 reaction · 0 assignees ·
-
ityonemo/realbook#46 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/realbook#48 · 1 comment · 0 reactions · 0 assignees ·
-
ityonemo/datalevi#1 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/selectrix#18 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/selectrix#19 · 0 comments · 0 reactions · 0 assignees ·
-
1. Code warning Open
ityonemo/selectrix#20 · 1 comment · 0 reactions · 0 assignees ·
-
2. Code error Open
ityonemo/selectrix#21 · 1 comment · 0 reactions · 0 assignees ·
-
3. Spec warning Open
ityonemo/selectrix#22 · 1 comment · 0 reactions · 0 assignees ·
-
4. Spec error Open
ityonemo/selectrix#23 · 1 comment · 0 reactions · 0 assignees ·
-
ityonemo/selectrix#28 · 3 comments · 1 reaction · 0 assignees ·
-
UPDATE #25 Open
ityonemo/selectrix#34 · 1 comment · 5 reactions · 0 assignees ·
-
pruning errors Open
ityonemo/mavis_inference#3 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/mavis_inference#4 · 1 comment · 0 reactions · 0 assignees ·
-
ityonemo/mavis_inference#6 · 1 comment · 0 reactions · 0 assignees ·
-
ityonemo/mavis_inference#9 · 0 comments · 0 reactions · 0 assignees ·
-
stage 3: (cancelled) Open
ityonemo/mavis_inference#10 · 1 comment · 0 reactions · 0 assignees ·
-
stage 4: set it up so that I can start running selectrix against the libraries I've already written. Open
ityonemo/mavis_inference#11 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/mavis_inference#12 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/mavis_inference#13 · 1 comment · 0 reactions · 0 assignees ·
-
ityonemo/mavis_inference#14 · 1 comment · 0 reactions · 0 assignees ·
-
bug
ityonemo/mavis_inference#15 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/mavis_inference#22 · 0 comments · 0 reactions · 0 assignees ·
-
create a default "typespeccing chain" which searches for a typespec first, then does inference next. Open
ityonemo/mavis_inference#30 · 0 comments · 0 reactions · 0 assignees ·
-
ityonemo/mavis_inference#34 · 0 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.