Nathan Corbyn (@doctorn)
github

doctorn

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,111
  • Global Rank 27,649 (Top 1.0 %)
  • Followers 145
  • Registered almost 11 years ago
  • Most used languages
    Rust
         50.0 %
    Java
         25.0 %
    Agda     12.5 %
    TypeScript
         12.5 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 1,405
  • Country Ranking
    Agda     20
    Rust
         33
    Java
         6,057
    TypeScript
         6,292

Top repositories

1

micro-mitten

You might not need your garbage collector
Rust
533
star
2

trait-eval

We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
Rust
357
star
3

obake

Versioned data-structures for Rust
Rust
203
star
4

agda-nbe

Verified NbE via gluing in Agda
Agda
11
star
5

rusty_slang

Compiler implementation to compliment compiler construction course
Rust
4
star
6

grassland

Simple 3D game framework based on LWJGL
Java
1
star
7

cuajs

The Cambridge University Anglo-Japanese Society Website
TypeScript
1
star
8

tundra

Slightly more advanced 3D game framework based on LWJGL
Java
1
star