Giters
Will Sonnex (f-algebra)

f-algebra

Geek Repo

6

followers

0

following

8

stars

Location:British Columbia, Canada

Github PK Tool:Github PK Tool

Will Sonnex's repositories

elea

Supercompiler for theorem provers

Language:ScalaStargazers:3Issues:2Issues:0

elea-phd

Elea (as developed for my PhD)

Language:HaskellLicense:MITStargazers:3Issues:1Issues:0

zeno

Zeno

Language:HaskellStargazers:2Issues:1Issues:1

c19-dash

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

covid19-model

Pages for COVID-19 model

Language:HTMLStargazers:0Issues:1Issues:0

saddle

SADDLE: Scala Data Library

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:1Issues:0

tryelea.org

Website source for tryelea.org

Language:HTMLStargazers:0Issues:1Issues:0

tryzeno.org

Use the Zeno prover through your browser (tryzeno.org)

Language:HaskellStargazers:0Issues:1Issues:0