Loreon
Labs
Platform
Docs
Home
Ecosystems
HTML
iris-project
jozefg/iris-project
HTML
Emerging
GitHub
Stars
1
Forks
—
Contributors
8
Last push
30mo ago
Recent commits
Latest commits.
Adding daniel's phd thesis
ddfa1bf
Daniel Gratzer
30mo ago
cerise paper added
844593c
Lars Birkedal
30mo ago
cerise paper added
b0d035f
Lars Birkedal
30mo ago
pdfs added
48c98a0
Lars Birkedal
30mo ago
pdfs added
5e44fbc
Lars Birkedal
30mo ago
papers added
5291757
Lars Birkedal
30mo ago
papers added
b05728e
Lars Birkedal
30mo ago
papers added
afb4479
Lars Birkedal
30mo ago
Top contributors
Builders behind this project.
robbertkrebbers
209 commits
drdreyer
88 commits
RalfJung
80 commits
lars-birkedal
48 commits
amintimany
30 commits
mortenkroghj
24 commits
simongregersen
21 commits
rlepigre
15 commits
