leon-vv

node-image-scraper

Node.js module for scraping images from the web.

Todo

Idris Todo web application example

Tetris

Tetris implementation in C using Nanovg (OpenGL library)

node-shunting-yard

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

laser-plasma-simulation

Sql

Idris Sql package, type safe queries

Seekwhel

OCaml library for generating (Postgresql) SQL queries

Traceon

Electromagnetic solver and electron tracer

FerryJS

A ferry between Idris land and JavaScript land: convert values easily

Http

Http module for Idris (small wrapper around Node.js)

Minimax

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

Pyka

Lisp language with first class environments (work in progress)

Record

Idris package describing records directly using sum types

design-project

Design project for university course 'Digital Techniques'

Event

Idris Event module, interface to asynchronous JavaScript

File

Wrapper around 'fs.readFileSync(%0)'

flow-sql-test

Fiddle for testing the type system of Flow (http://flowtype.org/)

fourier-frequency-analysis

Simple frequency analysis tool made for a physics course

Html

Idris Html package

joi-sql

Create Joi validation code for SQL databases (MySQL, PostgreSQL)

Laplacian-Python

Code to solve a Laplacian differential equation using the finite element method in Python

leon-vv.github.io

Personal website

nanotechnology-patterns

Temporary repository

profile-essay-avr

Some C code used to control Arduino's for a school drone project

pyfmmlib

Python wrappers around fmmlib{2,3}d by Greengard/Gimbutas