Lรฉon van Velzen (@leon-vv)
github

leon-vv

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    113
  • Global Rank 190,295 (Top 7 %)
  • Followers 14
  • Following 6
  • Registered over 11 years ago
  • Most used languages
    Idris     33.3 %
    Python
         25.0 %
    JavaScript
         25.0 %
    C
         8.3 %
    OCaml
         8.3 %
  • Location ๐Ÿ‡ณ๐Ÿ‡ฑ Netherlands
  • Country Total Rank 3,161
  • Country Ranking
    Idris     1
    OCaml
         21
    C
         822
    JavaScript
         829
    Python
         3,482

Top repositories

1

node-image-scraper

Node.js module for scraping images from the web.
JavaScript
52
star
2

Todo

Idris Todo web application example
Idris
39
star
3

Tetris

Tetris implementation in C using Nanovg (OpenGL library)
C
6
star
4

node-shunting-yard

Node.js module for converting infix notation to rpn (deprecated, use mathjs.org instead)
JavaScript
4
star
5

laser-plasma-simulation

Python
2
star
6

Traceon

Electrostatic solver and electron tracer
Python
2
star
7

Seekwhel

OCaml library for generating (Postgresql) SQL queries
OCaml
2
star
8

Sql

Idris Sql package, type safe queries
Idris
2
star
9

FerryJS

A ferry between Idris land and JavaScript land: convert values easily
Idris
1
star
10

Pyka

Lisp language with first class environments (work in progress)
Python
1
star
11

Record

Idris package describing records directly using sum types
Idris
1
star
12

Minimax

Four In A Line played by the computer using the Minimax algorithm http://leon-vv.github.io/Minimax/
JavaScript
1
star