Anders Christiansen Sørby

icon indicating a website link sorby.xyz

icon location Norway icon location Worked on the Yatima language. Studied mathematics and statistics with an interest in Machine Learning.

Results 1 repositories owned by Anders Christiansen Sørby

SDL.lean

19
Stars
4
Forks
Watchers

SDL2 bindings for lean

verified publisher icon Anderssorby