Andreas Grois (@soulsource)
github

soulsource

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 920,445 (Top 32 %)
  • Followers 2
  • Registered almost 12 years ago
  • Most used languages
    C
         33.3 %
    Lean     33.3 %
    Rust
         33.3 %
  • Location 🇦🇹 Austria
  • Country Total Rank 4,016
  • Country Ranking
    Lean     1
    Rust
         108
    C
         398

Top repositories

1

higher-free-macro

A macro that allows to conjure a Free Monad for every Functor. This builds on the traits from the higher crate, and re-exports said crate.
Rust
6
star
2

BuddhaShader

First steps with OpenGL: A compute shader that renders a BuddhaBrot to an SSBO. Can also save the result to PNG for future viewing pleasure.
C
4
star
3

aoc-2023

Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
Lean
1
star