Sign in
Ctrl K
Karlsruhe Institute of Technology (KIT)

Karlsruhe Institute of Technology (KIT)

Karlsruhe, Germany

Education
Funder
www.kit.edu
ROR info
Wikipedia
Map
Software (63)Projects (7)Releases (589)About

Releases per year

2022

73 releases
Oct 25, 2024
Vitruvius
3.0.0
Heiko Klare, Joshua Gleitze, Max Kramer, Lukas Hennig, Dominik Werle, Timur Sağlam, Roland Osterrieter, Stephan Seifermann, Andreas Löffler, Jan Wittler, Kathrin Leonie Schmidt, Thomas Weber, Lars König, Neumann Dirk, Dominik Messinger, Dominik Klooz, Fabian Scheytt, Sofia Ananieva, Simon Haug
DOI: 10.5281/zenodo.13991788
Aug 27, 2024
KeYmaera X
5.0.1
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13380127
Aug 27, 2024
KeYmaera X
5.0
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13380120
Aug 27, 2024
KeYmaera X
4.9.9
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13380109
Dec 19, 2022
KaHyPar
v1.0.0
Lars Gottesbüren, Tobias Heuer, Nikolai Maas, Noah Wahl, Sebastian Grabowski, Sebastian Schlag, Daniel Seemaier
DOI: 10.5281/zenodo.7457898
Dec 16, 2022
oidc-agent
v4.4.4
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Chris Burr, Brian P Bockelman, Baptiste Grenier, Bas Wegh, Dmytro D, John Kelly, Marek Szuba, Paul Millar, Sebastián Risco, Tom Saleeba
DOI: 10.5281/zenodo.7446755
Dec 05, 2022
oidc-agent
v4.4.3
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Chris Burr, Brian P Bockelman, Baptiste Grenier, Bas Wegh, Dmytro D, John Kelly, Marek Szuba, Paul Millar, Sebastián Risco, Tom Saleeba
DOI: 10.5281/zenodo.7400958
Nov 30, 2022
oidc-agent
v4.4.2
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Chris Burr, Brian P Bockelman, Baptiste Grenier, Bas Wegh, Dmytro D, John Kelly, Marek Szuba, Paul Millar, Sebastián Risco, Tom Saleeba
DOI: 10.5281/zenodo.7380858
Nov 30, 2022
oidc-agent
v4.4.1
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Chris Burr, Brian P Bockelman, Baptiste Grenier, Bas Wegh, Dmytro D, John Kelly, Marek Szuba, Paul Millar, Sebastián Risco, Tom Saleeba
DOI: 10.5281/zenodo.7380604
Nov 26, 2022
Ginkgo
1.5.0
Hartwig Anzt, Terry Cojean, Yen-Chen Chen, Goran Flegar, Vasilieos Georgiou, Fritz Göbel, Thomas Grützmacher, Claudius Holeksa, Aditya Kashi, Marcel Koch, Pratik Nayak, Gregor Olenik, Lukas Reimer, Tobias Ribizel, Yu-Hsiang Tsai
DOI: 10.5281/zenodo.3988355
Nov 11, 2022
mytoken
v0.6.1
Gabriel Zachmann
DOI: 10.5281/zenodo.7313513
Oct 24, 2022
pycomlink
0.3.5
Christian Chwala, Max Graf, Julius Polz, Nico Blettner
DOI: 10.5281/zenodo.7245440
Oct 05, 2022
oidc-agent
v4.4.0
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Brian P Bockelman, Baptiste Grenier, Bas Wegh, Dmytro D, John Kelly, Marek Szuba, Paul Millar, Tom Saleeba
DOI: 10.5281/zenodo.7148014
Sep 14, 2022
mytoken
v0.6.0
Gabriel Zachmann
DOI: 10.5281/zenodo.7078799
Aug 29, 2022
mytoken
v0.5.4
Gabriel Zachmann
DOI: 10.5281/zenodo.7032284
Aug 29, 2022
mytoken
v0.5.3
Gabriel Zachmann
DOI: 10.5281/zenodo.7032241
Aug 25, 2022
mytoken
v0.5.2
Gabriel Zachmann
DOI: 10.5281/zenodo.7022694
Aug 24, 2022
mytoken
v0.5.1
Gabriel Zachmann
DOI: 10.5281/zenodo.7018470
Aug 23, 2022
mytoken
v0.5.0
Gabriel Zachmann
DOI: 10.5281/zenodo.7016387
Jul 29, 2022
LiberTEM
0.10.0
Alexander Clausen, Dieter Weber, Matthew Bryan, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, Abijith Bahuleyan, Jan Caron, Rahul Chandra, Shankhadeep Dey, Sayandip Halder, Daniel S. Katz, Barnaby D.A. Levin, Magnus Nord, Colin Ophus, Simon Peter, Levente Puskás, Jay Schyndel van, Jaeweon Shin, Sai Sunku, Juri Barthel, Reimar Bauer, Julian Becker, Andreas Beckmann, Robert Bücker, Wolfgang zu Castell, Andrey Fedorov, Mark Jensen, Matus Krajnak, Phillip Crout, Simeon Ehrig, Alberto Eljarrat Ascunce, Peter Ercius, Caroline Fuery, Patrick Furhmann, John Gaida, Wojtek James Goscinski, Giulio Guzzinati, Benedikt Haas, Chris Hines
DOI: 10.5281/zenodo.6927963
Jul 23, 2022
Mallob
1.1.0
Dominik Schreiber, Peter Sanders
DOI: 10.5281/zenodo.6890240
Jul 22, 2022
oidc-agent
v4.3.2
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Brian P Bockelman, Bas Wegh, Dmytro D, John Kelly, Marek Szuba, Paul Millar, Tom Saleeba
DOI: 10.5281/zenodo.6881956
Jun 23, 2022
oidc-agent
v4.3.1
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Brian P Bockelman, Bas Wegh, Dmytro D, John Kelly, Marek Szuba, Paul Millar, Tom Saleeba
DOI: 10.5281/zenodo.6702904
Jun 23, 2022
oidc-agent
v4.3.0
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Brian P Bockelman, Bas Wegh, Dmytro D, John Kelly, Marek Szuba, Paul Millar, Tom Saleeba
DOI: 10.5281/zenodo.6697387
May 03, 2022
mytoken
v0.4.3
Gabriel Zachmann
DOI: 10.5281/zenodo.6514255
Apr 28, 2022
LiberTEM
0.9.2
Alexander Clausen, Dieter Weber, Matthew Bryan, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, Abijith Bahuleyan, Jan Caron, Rahul Chandra, Shankhadeep Dey, Sayandip Halder, Daniel S. Katz, Barnaby D.A. Levin, Magnus Nord, Colin Ophus, Simon Peter, Levente Puskás, Jay Schyndel van, Jaeweon Shin, Sai Sunku
DOI: 10.5281/zenodo.6502282
Feb 17, 2022
LiberTEM
0.9.0
Alexander Clausen, Dieter Weber, Matthew Bryan, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, Abijith Bahuleyan, Jan Caron, Rahul Chandra, Shankhadeep Dey, Sayandip Halder, Daniel S. Katz, Barnaby D.A. Levin, Magnus Nord, Colin Ophus, Simon Peter, Levente Puskás, Jay Schyndel van, Jaeweon Shin, Sai Sunku
DOI: 10.5281/zenodo.6125247
Feb 08, 2022
mytoken
v0.4.2
Gabriel Zachmann
DOI: 10.5281/zenodo.6011852
Feb 08, 2022
mytoken
v0.4.1
Gabriel Zachmann
DOI: 10.5281/zenodo.6011616
Jan 31, 2022
mytoken
v0.4.0
Gabriel Zachmann
DOI: 10.5281/zenodo.5930462
Jan 13, 2022
oidc-agent
v4.2.6
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Brian P Bockelman, Bas Wegh, John Kelly, Marek Szuba, Paul Millar, Tom Saleeba
DOI: 10.5281/zenodo.5846932
Jan 13, 2022
oidc-agent
v1.1.0
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Brian P Bockelman, Bas Wegh, John Kelly, Marek Szuba, Paul Millar, Tom Saleeba
DOI: 10.5281/zenodo.5846097
Jan 10, 2022
pycomlink
0.3.4
Christian Chwala, Julius Polz, Max Graf
DOI: 10.5281/zenodo.5832991