Skip to content
View bfeitknecht's full-sized avatar
🍋
() :: ()
🍋
() :: ()
17 followers · 24 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Public SponsorAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Public SponsorAchievement: Pull Shark

Highlights

  • Pro

Block or report bfeitknecht

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
bfeitknecht/README.md

Profile Views

Grüezi!

I'm Basil and this is my GitHub profile. You can find some of my projects here, see the pinned repositories below for my favorites.

About

I'm currently studying BSc Computer Science at ETH Zürich. I'll continue my studies there through the consecutive MSc Computer Science with major in Secure and Reliable Systems. Some of my interests are listed below.

  • Category Theory
  • Theoretical Computer Science, Formal Methods
  • Programming Languages
  • Functional Programming, Systems Programming

Here are some languages and technologies that I find interesting.

  • Rust, Zig, V
  • Go
  • Haskell
  • Python, Lua
  • Typst, Markdown
  • WASM
  • Nushell
  • Nix

If you'd like to get in touch don't hesitate to contact me! I'm always happy to talk.

Stats

Because who doesn't love some nice graphs and numbers? That's what it's all about in the end!





Pinned Loading

  1. impli impli Public

    The IMP Language Interpreter

    Haskell 6 1

  2. ethz-vpn ethz-vpn Public

    Interact with the ETHZ VPN on macOS

    Shell 2

  3. ES-mini-project ES-mini-project Public

    Abnormal machine sound detection for Embedded Systems

    C

  4. omnix omnix Public

    Everywhere Nix

    Nix 1