Skip to content
View fachammer's full-sized avatar
9 followers · 8 following

Achievements

Achievement: Galaxy BrainAchievement: Pull Sharkx2

Achievements

Achievement: Galaxy BrainAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@gapt

Block or report fachammer

Report abuse

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

Report abuse
fachammer/README.md

. . .. ... ..... ........ ............. ..................... .................................. .......................................................

Pinned Loading

  1. gapt/gapt gapt/gapt Public

    GAPT: General Architecture for Proof Theory

    Scala 111 19

  2. diploma-thesis-algorithm diploma-thesis-algorithm Public

    Implementation of the decision procedure from my diploma thesis "Decidability of Diophantine equations in a theory adjacent to IOpen"

    Rust

  3. procedural-planets procedural-planets Public

    Procedural generation of planets with atmospheric scattering in OpenGL

    C++ 6 1

  4. advent-of-code-2023 advent-of-code-2023 Public

    Scala 1