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
otzel

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
beam_book

Zig · 0 stars
mishras
Mishras: the simplest database factory library

Elixir · 0 stars

Open All

make `test is_lt`, `gc_bif +` use typing functionals Open

ityonemo/mavis_inference#39 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
comprehensive review of the use of "state" variable Open

ityonemo/mavis_inference#40 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
opcode push Open

ityonemo/mavis_inference#43 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
consider making a more restrictive get_list backpropagation Open

ityonemo/mavis_inference#44 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
opcode fusion Open

ityonemo/mavis_inference#45 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
consider being a bit smarter about fail codes Open

ityonemo/mavis_inference#46 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make sure joker_vD's scenario works: Open

ityonemo/mavis_inference#47 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
stage 1.2 - better dependency tracking Open

ityonemo/mavis_inference#48 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
stage 1.3 - make sure that module compilation "really works" Open

ityonemo/mavis_inference#49 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
stage 1.4 Open

ityonemo/mavis_inference#51 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
stage 1.5 - full scan of elixir modules Open

ityonemo/mavis_inference#52 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
unify backprop to allow single register as well as list of register. Open

ityonemo/mavis_inference#53 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
consider taking advantage of type order in the ordering operators Open

ityonemo/mavis_inference#54 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
implement automatically turning backpropped functions into Type.Function.Var values. Open

ityonemo/mavis_inference#55 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
implement an opcode macro for jump_to(meta, jump) Open

ityonemo/mavis_inference#57 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
be able to load up an erlang module and put it *somewhere* Open

ityonemo/beam_book#1 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
beamdump executable Open

ityonemo/beam_book#2 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
vmdump instruction Open

ityonemo/beam_book#3 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
test scaffolding (possibly in elixir) Open

ityonemo/beam_book#4 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
something which outputs a really basic erlang module Open

ityonemo/beam_book#5 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Post anything you need help with Open

ityonemo/ez#1 · 4 comments · 1 reaction · 0 assignees · Indexed Sep 18, 2026
Move to proper github organization? Open

ityonemo/ez#2 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
How to use? Open

ityonemo/ez#3 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
complete all of the callback implementations for Nx.Backend Open

ityonemo/ez#4 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Chart performance differences Open

ityonemo/ez#5 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Break out individual operations tests Open

ityonemo/ez#6 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
is it possible to have defn compile to zig? Open

ityonemo/ez#7 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Don't buffer overflow on the atom -> enum. Open

bug

ityonemo/zystem#1 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
ip subnet range testing Open

ityonemo/net_address#4 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
should one generally put `optional(any) => any` into maps? Open

deviations from erlang/elixir

ityonemo/mavis#4 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
add nestable meta-information for type.function matching. Open

ityonemo/mavis#5 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
add nestable information for List maybes and errors Open

ityonemo/mavis#6 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
open questions about Erlang Types Open

ityonemo/mavis#15 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
write a property test checking that supertypes are always greater than their subtype. Open

good first issue testing

ityonemo/mavis#18 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Create Type.Api Open

ityonemo/mavis#32 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
property tests generators for the type system Open

good first issue testing

ityonemo/mavis#37 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
identify deficiencies in the documentation Open

documentation good first issue

ityonemo/mavis#43 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make sure that Type.Messages can be inspect'ed to produce coherent error messages Open

ityonemo/mavis#80 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
consider making Type.Messages somehow nestable so that dependent typing information can be communicated Open

ityonemo/mavis#81 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make sure warnings for String.t are not confusing if one is fixed size. Open

ityonemo/mavis#84 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
check that deviations from standard elixir can be turned off. Open

ityonemo/mavis#120 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make a Function.Bundle type that isn't a union. Open

ityonemo/mavis#130 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Subtraction types Open

ityonemo/mavis#131 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
use rangeresolve(a, b) for more logic in the range module Open

ityonemo/mavis#141 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
double check that floats don't cause problems in range type operations Open

ityonemo/mavis#142 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
composable message scheme Open

ityonemo/mavis#143 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
message simplification Open

ityonemo/mavis#144 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make sure inspects of [] with generic types don't come out strange. Open

bug

ityonemo/mavis#145 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
property test to make sure that inspected components in a union are in type order. Open

testing

ityonemo/mavis#146 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
type macro isn't quite right about some things Open

ityonemo/mavis#149 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026

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.

Open advanced filter

ityonemo

Showing the newest 100

Get new issues in your inbox