Marcus Klaas de Vries (@marcusklaas)
github

marcusklaas

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    67
  • Global Rank 277,624 (Top 10 %)
  • Followers 61
  • Following 47
  • Registered almost 13 years ago
  • Most used languages
    Rust
         33.3 %
    HTML
         26.7 %
    Lean     13.3 %
    C
         6.7 %
    Idris     6.7 %
    Haskell
         6.7 %
    PHP
         6.7 %
  • Location ๐Ÿ‡ณ๐Ÿ‡ฑ Netherlands
  • Country Total Rank 4,637
  • Country Ranking
    Idris     4
    Lean     6
    Rust
         160
    Haskell
         189
    HTML
         585
    C
         605
    PHP
         2,655

Top repositories

1

sortedvec

Rust vector types without dependencies that enable quick lookups
Rust
19
star
2

Achtung--die-Kurve-

Remake of the classic Achtung die Kurve using HTML5 websockets
C
11
star
3

lisp-interpreter

A bare bones lisp parser & interpreter
Rust
11
star
4

yapm-client

super-straight-forward-single-user-json-aes-based-online-password-manager
HTML
4
star
5

backbonzo

secure backup automater in rust
Rust
4
star
6

tower-of-hanoi

proof using the lean prover that the towers of hanoi problem is solvable
Lean
3
star
7

yaps

Yapm server in Haskell
Haskell
2
star
8

grunt-inline-alt

Brings externally referenced resources into a single file.
HTML
2
star
9

rough-graph-experiments

experiments with d3 and rough.js
HTML
2
star
10

spotify-challenge

solution to the spotify hard programming challenge in rust
Rust
2
star
11

yapm-server

Password library end point for yet-another-password-manager
PHP
2
star
12

idris-playthings

Idris
1
star
13

logical-verification-project

proving some basic theorems in modal logic
Lean
1
star
14

parser-dos-demo

HTML
1
star
15

password-cli

password manager command line interface
Rust
1
star
16

modal-logic-cheat-sheet

things one should know going into the exam
1
star