Skip to content

Activity

editing...

jzstarkpushed 1 commit to main • 00fcd92…7fc6fef • 
26 days ago

editing...

jzstarkpushed 2 commits to main • c1b6fe0…00fcd92 • 
26 days ago

editing...

jzstarkpushed 1 commit to main • 53e7edd…c1b6fe0 • 
26 days ago

editing...

jzstarkpushed 1 commit to main • bc76e31…53e7edd • 
26 days ago

updating workflow

jzstarkpushed 1 commit to main • abd57fa…bc76e31 • 
26 days ago

coding...

jzstarkpushed 1 commit to main • 70db98a…abd57fa • 
26 days ago

revising workflow

jzstarkpushed 1 commit to main • 02dd02d…70db98a • 
26 days ago

update workflow

jzstarkpushed 1 commit to main • bf59a8f…02dd02d • 
27 days ago

fix opam file after new version published

jzstarkpushed 1 commit to main • 10be7cd…bf59a8f • 
27 days ago

minor fix

jzstarkpushed 1 commit to main • d709c2f…10be7cd • 
28 days ago

add changes

jzstarkpushed 1 commit to main • fd05580…d709c2f • 
28 days ago

editing...

jzstarkpushed 1 commit to main • 5d7fde7…fd05580 • 
28 days ago

editing...

jzstarkpushed 1 commit to main • 282d3e4…5d7fde7 • 
28 days ago

add plot examples

jzstarkpushed 1 commit to main • f4650c9…282d3e4 • 
28 days ago

editing..

jzstarkpushed 1 commit to main • f79333c…f4650c9 • 
28 days ago

editing...

jzstarkpushed 1 commit to main • 16ec38f…f79333c • 
28 days ago

editing...

jzstarkpushed 1 commit to main • 9b4f0de…16ec38f • 
28 days ago

editing...

jzstarkpushed 1 commit to main • f25775e…9b4f0de • 
on Mar 1

editing...

jzstarkpushed 1 commit to main • 82873a5…f25775e • 
on Mar 1

editing...

jzstarkpushed 1 commit to main • 99dcc49…82873a5 • 
on Mar 1

editing...

jzstarkpushed 1 commit to main • 4140702…99dcc49 • 
on Mar 1

editing...

jzstarkpushed 1 commit to main • c5cec69…4140702 • 
on Mar 1

editing workflow

jzstarkpushed 1 commit to main • b30b388…c5cec69 • 
on Mar 1

editing...

jzstarkpushed 1 commit to main • 21c3812…b30b388 • 
on Mar 1

editing...

jzstarkpushed 1 commit to main • 70162f1…21c3812 • 
on Mar 1

editing...

jzstarkpushed 1 commit to main • d7ca31f…70162f1 • 
on Mar 1

coding...

jzstarkpushed 1 commit to main • db38bc8…d7ca31f • 
on Mar 1

add badge

jzstarkpushed 1 commit to main • c5ab097…db38bc8 • 
on Mar 1

minor fix

jzstarkpushed 1 commit to main • daae8d7…c5ab097 • 
on Mar 1

add makefile and update workflow

jzstarkpushed 1 commit to main • ebc73c0…daae8d7 • 
on Mar 1