Skip to content
View anbclausen's full-sized avatar
🦀
Learning Rust!
🦀
Learning Rust!
11 followers · 10 following
  • Aarhus University
  • Aarhus, Denmark
  • 09:41 (UTC +02:00)

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx2

Organizations

@aekvi

Block or report anbclausen

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Popular repositories Loading

  1. haskell-sat-solver haskell-sat-solver Public

    Naive SAT solver implemented in Haskell.

    Haskell 2

  2. gpu-indicator-gnome-extension gpu-indicator-gnome-extension Public archive

    This GNOME extension adds a small icon in the top bar indicating which GPU you're currently using.

    JavaScript 2

  3. preambles preambles Public

    My custom LaTeX preambles for you to use!

    TeX 2 1

  4. quills quills Public

    A tool for depth-optimal layout synthesis on quantum circuits.

    Python 2

  5. nim-lambda-calculus-interpreter nim-lambda-calculus-interpreter Public

    A lambda calculus interpreter project, written in Nim.

    Nim 1

  6. optifuzz optifuzz Public

    A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.

    TeX 1