Owner
liquid-java
3 indexed repositories · View on GitHub
-
liquidjava
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
Java · 67 stars
-
latte
Lightweight aliasing tracking for Java - static analysis tool for pointer analysis
Java · 3 stars
-
liquidjava-docs
LiquidJava Documentation
SCSS · 0 stars
-
enhancement
liquid-java/liquidjava#240 · 1 assignee ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
enhancement ide
Difficulty 3/5 1-2 days Newbie friendliness 45/100
liquid-java/liquidjava#206 ·
-
tests
Difficulty 2/5 1-3 hours Newbie friendliness 25/100
liquid-java/liquidjava#198 ·
-
tests
Difficulty 4/5 3-5 days Newbie friendliness 25/100
liquid-java/liquidjava#197 ·
-
tests
Difficulty 4/5 3-5 days Newbie friendliness 35/100
liquid-java/liquidjava#196 · 2 comments ·
-
Improve Test Suite Openenhancement tests
liquid-java/liquidjava#174 · 1 comment · 1 assignee ·
-
enhancement good first issue
Difficulty 4/5 3-5 days Newbie friendliness 25/100
liquid-java/liquidjava#133 · 3 comments ·
-
enhancement good first issue
Difficulty 4/5 3-5 days Newbie friendliness 45/100
liquid-java/liquidjava#132 · 2 comments ·
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 35/100
liquid-java/liquidjava#131 ·
-
enhancement future
Difficulty 5/5 Over a week Newbie friendliness 25/100
liquid-java/liquidjava#91 ·
-
bug
Difficulty 4/5 3-5 days Newbie friendliness 35/100
liquid-java/liquidjava#50 · 2 comments ·
-
bug enhancement
liquid-java/liquidjava#44 · 1 comment · 1 assignee ·
-
Difficulty 4/5 3-5 days Newbie friendliness 42/100
liquid-java/latte#26 ·
-
bug
Difficulty 4/5 3-5 days Newbie friendliness 35/100
liquid-java/latte#25 ·
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 35/100
liquid-java/latte#24 ·
-
bug
Difficulty 3/5 1-2 days Newbie friendliness 35/100
liquid-java/latte#23 ·
-
liquid-java/latte#22 · 1 assignee ·
-
bug
liquid-java/latte#17 · 1 assignee ·
-
enhancement future
Difficulty 5/5 Over a week Newbie friendliness 25/100
liquid-java/liquidjava#41 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
liquid-java/latte#12 · 1 comment ·
-
enhancement
Difficulty 5/5 Over a week Newbie friendliness 25/100
liquid-java/latte#5 · 1 comment ·
-
enhancement good first issue
Difficulty 4/5 3-5 days Newbie friendliness 35/100
liquid-java/liquidjava#25 ·
-
liquid-java/liquidjava#13 · 2 comments · 1 assignee ·
-
bug
Difficulty 4/5 3-5 days Newbie friendliness 35/100
liquid-java/liquidjava#11 ·