Skip to content
@IPDSnelting

IPDSnelting

Popular repositories Loading

  1. tba-2021 tba-2021 Public

    Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

    Lean 50 2

  2. tba-2022 tba-2022 Public

    Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition

    Lean 17 2

  3. velcom velcom Public

    Continuous benchmarking

    Java 14 1

  4. velcom-test-repo velcom-test-repo Public

    Python 1

  5. velcom-unibench velcom-unibench Public

    A universal benchmark repo for velcom

    Python 1

Repositories

Showing 5 of 5 repositories
  • velcom Public

    Continuous benchmarking

    IPDSnelting/velcom’s past year of commit activity
    Java 14 MIT 1 4 5 Updated Jun 12, 2024
  • tba-2022 Public

    Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition

    IPDSnelting/tba-2022’s past year of commit activity
    Lean 17 2 0 0 Updated Jul 18, 2022
  • velcom-test-repo Public
    IPDSnelting/velcom-test-repo’s past year of commit activity
    Python 1 0 1 0 Updated Nov 25, 2021
  • tba-2021 Public

    Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

    IPDSnelting/tba-2021’s past year of commit activity
    Lean 50 2 0 0 Updated Jul 1, 2021
  • velcom-unibench Public

    A universal benchmark repo for velcom

    IPDSnelting/velcom-unibench’s past year of commit activity
    Python 0 1 0 0 Updated Sep 26, 2020

Top languages

Loading…

Most used topics

Loading…