ityonemo/mavis_inference

View on GitHub

inference engine for mavis typesystem

Stars: 1
Forks: 0
Open beginner issues: 0
Indexed issues: 28

Dominant language: Elixir
License: No license data
Last GitHub push: Nov 23, 2020
Latest indexed: Sep 18, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

28 open issues indexed

implement an opcode macro for jump_to(meta, jump) Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ityonemo/mavis_inference#57 · Opened Nov 15, 2020
implement automatically turning backpropped functions into Type.Function.Var values. Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

ityonemo/mavis_inference#55 · Opened Nov 11, 2020
consider taking advantage of type order in the ordering operators Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

ityonemo/mavis_inference#54 · 1 comment · Opened Nov 7, 2020
unify backprop to allow single register as well as list of register. Open

Difficulty 4/5 3-5 days Newbie friendliness 20/100

ityonemo/mavis_inference#53 · Opened Nov 7, 2020
stage 1.5 - full scan of elixir modules Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ityonemo/mavis_inference#52 · Opened Nov 7, 2020
stage 1.4 Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ityonemo/mavis_inference#51 · Opened Nov 7, 2020
stage 1.3 - make sure that module compilation "really works" Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

ityonemo/mavis_inference#49 · Opened Nov 7, 2020
stage 1.2 - better dependency tracking Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ityonemo/mavis_inference#48 · Opened Nov 7, 2020
make sure joker_vD's scenario works: Open

Difficulty 4/5 3-5 days Newbie friendliness 20/100

ityonemo/mavis_inference#47 · Opened Nov 6, 2020
consider being a bit smarter about fail codes Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ityonemo/mavis_inference#46 · Opened Nov 5, 2020
opcode fusion Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ityonemo/mavis_inference#45 · 1 comment · Opened Nov 5, 2020
consider making a more restrictive get_list backpropagation Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ityonemo/mavis_inference#44 · Opened Nov 5, 2020
opcode push Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

ityonemo/mavis_inference#43 · 1 comment · Opened Nov 3, 2020
comprehensive review of the use of "state" variable Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

ityonemo/mavis_inference#40 · Opened Nov 1, 2020
make `test is_lt`, `gc_bif +` use typing functionals Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

ityonemo/mavis_inference#39 · Opened Nov 1, 2020
refactor infer/1 to be infer/3 Open

Difficulty 4/5 3-5 days Newbie friendliness 20/100

ityonemo/mavis_inference#34 · Opened Oct 29, 2020
create a default "typespeccing chain" which searches for a typespec first, then does inference next. Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

ityonemo/mavis_inference#30 · Opened Oct 27, 2020
test on single backprop event Open

Difficulty 3/5 1-2 days Newbie friendliness 20/100

ityonemo/mavis_inference#22 · Opened Oct 25, 2020
what happens if two internal functions tail call each other? Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 20/100

ityonemo/mavis_inference#15 · Opened Oct 25, 2020
create snapshot tests based on the erlang example Open

Difficulty 3/5 1-2 days Newbie friendliness 25/100

ityonemo/mavis_inference#14 · 1 comment · Opened Oct 22, 2020
some functions punt directly to nifs. Make sure there's a strategy to intercept these Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

ityonemo/mavis_inference#13 · 1 comment · Opened Oct 20, 2020
stage 5: create a strategy for testing opcodes as a unit test and putting them through at least one integration test Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

ityonemo/mavis_inference#12 · Opened Oct 20, 2020
stage 4: set it up so that I can start running selectrix against the libraries I've already written. Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

ityonemo/mavis_inference#11 · Opened Oct 20, 2020
stage 3: (cancelled) Open

Difficulty 5/5 Over a week Newbie friendliness 1/100

ityonemo/mavis_inference#10 · 1 comment · Opened Oct 20, 2020
stage 2: hook up selectrix to mavis_inference and get a demonstration typecheck up and running Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

ityonemo/mavis_inference#9 · Opened Oct 20, 2020
basic backpropagation on restricted output. Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

ityonemo/mavis_inference#6 · 1 comment · Opened Oct 20, 2020
backpropagation in sharded domain/range systems Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

ityonemo/mavis_inference#4 · 1 comment · Opened Oct 20, 2020
pruning errors Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ityonemo/mavis_inference#3 · Opened Oct 20, 2020

ityonemo/mavis_inference

Get new issues in your inbox