Anders Christiansen Sørby (@Anderssorby)
github

Anderssorby

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Rank 491,990 (Top 17 %)
  • Followers 67
  • Following 238
  • Registered almost 11 years ago
  • Most used languages
    Lean     28.6 %
    Rust
         14.3 %
    Python
         14.3 %
    Nix
         14.3 %
    Java
         14.3 %
    Haskell
         14.3 %
  • Location 🇳🇴 Norway
  • Country Total Rank 1,984
  • Country Ranking
    Lean     1
    Nix
         26
    Haskell
         106
    Rust
         334
    Java
         1,054
    Python
         1,569

Top repositories

1

SDL.lean

SDL2 bindings for lean
Lean
16
star
2

Nix.lean

Nix expressions and derivations in lean (in development)
Lean
6
star
3

FORCE-2019-core

Python
2
star
4

Corecompiler

The core language compiler
Java
1
star
5

Godot.lean

Nix
1
star
6

rustyverse

Rust ActivityPub node (wip)
Rust
1
star
7

hextech

A turn based dynamic strategy game written in Haskell (unfinished)
Haskell
1
star