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

2023

142 releases
Jun 04, 2025
PIA
v2.0.2
Nicole Büttner, Romy Fösig, Alexander Böhmländer
DOI: 10.5281/zenodo.15592786
Jun 04, 2025
PIA
v2.0.0
Nicole Büttner, Romy Fösig, Alexander Böhmländer
DOI: 10.5281/zenodo.15592613
Jun 04, 2025
PIA
v1.0.1
Nicole Büttner, Romy Fösig, Alexander Böhmländer
DOI: 10.5281/zenodo.15592432
Aug 27, 2024
KeYmaera X
5.0.2
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.13380128
Dec 25, 2023
KeY
nightly
danielgrahl, unp1, Alexander Weigl, Mattias Ulbrich, mi.ki, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10429864
Dec 19, 2023
MetaStore
v1.4.0
Volker Hartmann, Thomas Jejkal, Sabrine Chelbi
DOI: 10.5281/zenodo.7814548
Dec 18, 2023
KeY
nightly
danielgrahl, unp1, Alexander Weigl, Mattias Ulbrich, mi.ki, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10398885
Dec 17, 2023
base-repo
v1.5.3
Thomas Jejkal, Volker Hartmann
DOI: 10.5281/zenodo.10396673
Dec 15, 2023
base-repo
v1.5.2
Thomas Jejkal, Volker Hartmann
DOI: 10.5281/zenodo.10391942
Dec 12, 2023
base-repo
v1.5.1
Thomas Jejkal, Volker Hartmann
DOI: 10.5281/zenodo.10361878
Dec 11, 2023
KeY
nightly
danielgrahl, unp1, Alexander Weigl, Mattias Ulbrich, mi.ki, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10348368
Dec 05, 2023
mytoken
v0.9.0
Gabriel Zachmann, DeepSource Bot
DOI: 10.5281/zenodo.10260060
Dec 05, 2023
mytoken
v0.8.1
Gabriel Zachmann, DeepSource Bot
DOI: 10.5281/zenodo.10259738
Dec 04, 2023
KeY
nightly
danielgrahl, unp1, Alexander Weigl, Mattias Ulbrich, mi.ki, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10253735
Dec 03, 2023
base-repo
v1.5.0
Thomas Jejkal, Volker Hartmann
DOI: 10.5281/zenodo.7814547
Nov 27, 2023
KeY
nightly
danielgrahl, unp1, Alexander Weigl, Mattias Ulbrich, mi.ki, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10208391
Nov 25, 2023
KeY
nightly
danielgrahl, unp1, Alexander Weigl, Mattias Ulbrich, mi.ki, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10206722
Nov 20, 2023
KeY
nightly
danielgrahl, unp1, Alexander Weigl, Mattias Ulbrich, mi.ki, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10158205
Nov 13, 2023
KeY
nightly
danielgrahl, unp1, Mattias Ulbrich, mi.ki, Alexander Weigl, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10117302
Nov 12, 2023
pycomlink
0.3.10
Christian Chwala, Max Graf, Julius Polz, Nico Blettner, DanSereb, keis-f, yboose
DOI: 10.5281/zenodo.10116639
Nov 10, 2023
KeY
KeY-2.12.2
danielgrahl, unp1, Mattias Ulbrich, mi.ki, Alexander Weigl, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10107595
Nov 09, 2023
LiberTEM
0.13.1
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.10091765
Nov 09, 2023
LiberTEM
0.13.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.10091431
Nov 06, 2023
KeY
nightly
danielgrahl, unp1, Mattias Ulbrich, mi.ki, Alexander Weigl, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10073993
Oct 30, 2023
KeY
nightly
danielgrahl, unp1, Mattias Ulbrich, mi.ki, Alexander Weigl, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10052479
Oct 24, 2023
Kadi4Mat
0.42.0
Kadi4Mat Team and Contributors
DOI: 10.5281/zenodo.10037114
Oct 23, 2023
KeY
nightly
danielgrahl, unp1, Mattias Ulbrich, mi.ki, Alexander Weigl, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10032514
Oct 18, 2023
KeY
nightly
danielgrahl, unp1, Mattias Ulbrich, mi.ki, Alexander Weigl, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10016629
Oct 18, 2023
KeY
nightly
danielgrahl, unp1, Mattias Ulbrich, mi.ki, Alexander Weigl, jwiesler, Arne Keller, lichtemo, Wolfram Pfeifer, David Giessing, alicia, simongreiner, rheimbach, zhao-nan, pschmitt27, Florian Lanzinger, Christopher Beckmann, Mattias Ulbrich, PumpkinPieTroelf, Lukas Grätz
DOI: 10.5281/zenodo.10016587
Oct 06, 2023
pycomlink
0.3.9
Christian Chwala, Max Graf, Julius Polz, Nico Blettner
DOI: 10.5281/zenodo.8412757
Oct 04, 2023
KaHyPar
v1.4
Lars Gottesbüren
DOI: 10.5281/zenodo.8407775
Sep 15, 2023
pycomlink
0.3.8
Christian Chwala, Max Graf, Julius Polz, Nico Blettner
DOI: 10.5281/zenodo.8350588
Sep 11, 2023
Propulate
v1.1.0
Marie Weiel, Markus Goetz, Steve Schmerler, Yannick Funk, Stefan Meisenbacher
DOI: 10.5281/zenodo.8333695
Sep 01, 2023
oidc-agent
v5.0.1
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Chris Burr, Brian P Bockelman, Steve Traylen, Baptiste Grenier, Bas Wegh, Dmytro D, John Kelly, Mattias Ellert, Paul Millar, Sebastián Risco
DOI: 10.5281/zenodo.8307678
Aug 30, 2023
oidc-agent
v5.0.0
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Chris Burr, Brian P Bockelman, Steve Traylen, Baptiste Grenier, Bas Wegh, Dmytro D, John Kelly, Mattias Ellert, Paul Millar, Sebastián Risco
DOI: 10.5281/zenodo.8300672
Aug 18, 2023
perun
v0.4.0
Markus Goetz
DOI: 10.5281/zenodo.8263571
Aug 16, 2023
LiberTEM
0.12.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.8252548
Aug 11, 2023
KaHyPar
v1.3.2
Tobias Heuer, Lars Gottesbüren, Nikolai Maas, Noah Wahl, Sebastian Grabowski, Sebastian Schlag, Daniel Seemaier
DOI: 10.5281/zenodo.8239347
Jul 31, 2023
KaHyPar
v1.3.1
Tobias Heuer, Lars Gottesbüren, Nikolai Maas, Noah Wahl, Sebastian Grabowski, Sebastian Schlag, Daniel Seemaier
DOI: 10.5281/zenodo.8199977
Jul 24, 2023
perun
v0.3.3
Markus Goetz
DOI: 10.5281/zenodo.8178838
Jul 24, 2023
KaHyPar
v1.3
Tobias Heuer, Lars Gottesbüren, Nikolai Maas, Noah Wahl, Sebastian Grabowski, Sebastian Schlag, Daniel Seemaier
DOI: 10.5281/zenodo.8178577
Jul 17, 2023
pycomlink
0.3.7
Christian Chwala, Max Graf, Julius Polz, Nico Blettner
DOI: 10.5281/zenodo.8156214
Jul 07, 2023
MetaStore
v1.3.0
Volker Hartmann, Thomas Jejkal, Sabrine Chelbi
DOI: 10.5281/zenodo.8123797
Jul 04, 2023
LiberTEM
0.11.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, 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.8114529
Jun 29, 2023
Propulate
v1.0.1
Marie Weiel, oskar-taubert, Markus Goetz, Steve Schmerler, Yannick Funk
DOI: 10.5281/zenodo.8095116
Jun 22, 2023
Propulate
v1.0.0
Marie Weiel, oskar-taubert, Markus Goetz, Steve Schmerler, Yannick Funk
DOI: 10.5281/zenodo.8070871
Jun 22, 2023
Propulate
v1.0.0
Marie Weiel, Oskar Taubert, Markus Goetz
DOI: 10.5281/zenodo.8070855
Jun 20, 2023
Heat
v1.3.0
Claudia Comito, Daniel Coquelin, Michael Tarnawa, Markus Goetz, Charlie Debus, Björn Hagemeier, Simon , Kai Krajsek, Jakob Ohm, Fabian Hoppe, Martin Siggel, Luca Spataro
DOI: 10.5281/zenodo.8060498
Jun 13, 2023
mytoken
v0.8.0
Gabriel Zachmann
DOI: 10.5281/zenodo.8031690
Jun 02, 2023
perun
v0.3.2
Markus Goetz
DOI: 10.5281/zenodo.7997218
Jun 01, 2023
perun
v0.3.1
Markus Goetz
DOI: 10.5281/zenodo.7993616
May 31, 2023
perun
v0.3.0
Markus Goetz
DOI: 10.5281/zenodo.7990035
May 11, 2023
LiberTEM
0.11.1
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.7924714
May 10, 2023
oidc-agent
v4.5.2
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Chris Burr, Brian P Bockelman, Steve Traylen, Baptiste Grenier, Bas Wegh, Dmytro D, John Kelly, Paul Millar, Sebastián Risco, Tom Saleeba
DOI: 10.5281/zenodo.7919658
Apr 21, 2023
LiberTEM
0.11.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.7853070
Apr 13, 2023
MetaStore
v1.2.3
Volker Hartmann, Thomas Jejkal, Sabrine Chelbi
DOI: 10.5281/zenodo.7825567
Apr 11, 2023
KaHyPar
v1.2
Tobias Heuer, Lars Gottesbüren, Nikolai Maas, Noah Wahl, Sebastian Grabowski, Sebastian Schlag, Daniel Seemaier
DOI: 10.5281/zenodo.7816970
Mar 17, 2023
base-repo
v1.4.0
Thomas Jejkal, Volker Hartmann
DOI: 10.5281/zenodo.7744529
Mar 13, 2023
oidc-agent
v4.5.1
Gabriel Zachmann, Leonard Marschke, Doina Cristina Duma, Micha Lenk, Chris Burr, Brian P Bockelman, Baptiste Grenier, Bas Wegh, Dmytro D, John Kelly, Paul Millar, Sebastián Risco, Tom Saleeba
DOI: 10.5281/zenodo.7727788
Feb 28, 2023
MetaStore
v1.2.2
Sabrine Chelbi, Thomas Jejkal, Giulio , Jee Roen, Maximilian Inckmann-KIT
DOI: 10.5281/zenodo.7685008
Feb 21, 2023
base-repo
v1.3.0
Thomas Jejkal, Volker Hartmann
DOI: 10.5281/zenodo.7660036
Feb 13, 2023
mytoken
v0.7.2
Gabriel Zachmann
DOI: 10.5281/zenodo.7634539
Jan 20, 2023
KaHyPar
v1.1
Lars Gottesbüren, Tobias Heuer, Nikolai Maas, Noah Wahl, Sebastian Grabowski, Sebastian Schlag, Daniel Seemaier
DOI: 10.5281/zenodo.7554854
Jan 19, 2023
mytoken
v0.7.1
Gabriel Zachmann
DOI: 10.5281/zenodo.7551742
Jan 17, 2023
oidc-agent
v4.5.0
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.7544985
Jan 17, 2023
mytoken
v0.7.0
Gabriel Zachmann
DOI: 10.5281/zenodo.7544542