FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Original HTTPS Page]

klaeufer (Konstantin Läufer) · GitHub

Overview Repositories 97 Projects Packages Stars 187
168 followers · 269 following

Achievements

x3

Achievements

x3

Highlights

  • Pro

Organizations

Block or report klaeufer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Close all issues, pull requests, and discussions opened by this user Content in all repositories owned by your account will be closed.
Add an optional note
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
klaeufer/README.md

Welcome to my GitHub profile! 👋

Willkumme zäme - bienvenidos/as - benvenuti/a

  • 🔭 I’m continually working on lecture notes and code examples for my upcoming classes, as well as the research projects reflected here.
  • 🌱 I’m currently revising my COMP 371/471 programming languages and COMP 373/473 software architecture (still officially called Advanced OOP) courses for fall 2025; I'm also catching up on formal methods and tools for my COMP 335/488 course in spring 2026 by learning more Lean and Alloy.
  • 💬 Ask me about research opportunities in the context of these projects.
  • 🤔 I’m always looking for help with research software/prototyping.
  • 👯 I’m open to collaborate on projects in environmental sustainability and other areas of social justice.
  • 📫 How to reach me: see my home page.
  • 😄 Pronouns: he 🇺🇸/él 🇵🇪/er 🇩🇪/lui 🇮🇹
  • 🧏 Languages: deu 🇦🇹🇧🇪🇩🇪🇱🇮🇱🇺🇨🇭/gsw 🇦🇹🇫🇷🇩🇪🇮🇹🇱🇮🇨🇭/eng 🇺🇸🇨🇦/ita 🇮🇹🇨🇭/spa 🇨🇱🇨🇴🇵🇪 (in order of acquisition and to varying degrees of proficiency)
  • ⚡ Fun fact: When I am not teaching, programming, or writing, I might be out jogging, pumping iron, doing minor work on my truck, or camping/hiking.

Pinned Loading

  1. HOTLangBench HOTLangBench Public

    This work in progress aims to compare various HOT (higher-order and statically typed, a term coined by Phil Wadler) through reproducible course-grained, wall-time benchmarks. Our overall goals incl…

    Java 1

  2. sparkbadge sparkbadge Public

    Project vision: longitudinal status badges for your projects. Need help moving this project forward again

    Python 5 6

  3. BatterySpacer94R BatterySpacer94R Public

    3d CAD model for battery height spacer for a group 94R battery in place of a taller 24F or 27F

  4. dashcamutils dashcamutils Public

    Garmin Dash Cam utilities for populating EXIF metadata from visual timestamp embedded in images

    Python 8

  5. issue10709-scala issue10709-scala Public

    Example for ACM 2019 Scala Symposium paper Tests as Maintainable Assets Via Auto-generated Spies

    Scala 1

  6. LoyolaChicagoCode/unoapi-dpcpp-examples LoyolaChicagoCode/unoapi-dpcpp-examples Public

    Examples for our tutorial on oneAPI (based on SYCL), a promising direction to support modern high-performance computing on heterogeneous architectures using the C++ language and its ever-improving …

    C++ 2 2

Back | FazBrowse Home | New Git URL