Discover @martijnvermaat Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Ruby

C++

Lua

Java

HTML

Dart

Haskell

Erlang

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Swift

Elixir

MATLAB

Shell

Racket

Scala

Dart

JavaScript

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇸🇨 Seychelles

🇮🇷 Iran

🇸🇩 Sudan

🇮🇱 Israel

🇧🇭 Bahrain

🇹🇼 Taiwan

🇳🇦 Namibia

🇶🇦 Qatar

All Countries Compare Countries

Martijn Vermaat (@martijnvermaat)

martijnvermaat

Stars
301
Global Rank 88,834 (Top 4 %)
Followers 66
Following 6
Registered almost 14 years ago
Most used languages

Python
32.0 %

JavaScript
20.0 %

C
8.0 %

Java
8.0 %

TeX
4.0 %

Nix
4.0 %

Coq 4.0 %

CSS
4.0 %

Go
4.0 %

PHP
4.0 %

OCaml
4.0 %

Emacs Lisp
4.0 %
Location 🇳🇱 Netherlands
Country Total Rank 1,611
Country Ranking

Coq 5

OCaml
29

Nix
81

Emacs Lisp
82

TeX
258

Python
296

Go
835

C
943

CSS
1,353

PHP
1,569

JavaScript
2,333

Java
2,538

calmap

Calendar heatmaps from Pandas time series data -- See https://github.com/MarvinT/calmap/ for the maintained version

bio-playground

Random collection of bioinformatics thingies

monoseq

A Python library for pretty-printing DNA and protein sequences using a monospace font

binary-loader

Binary loader module for webpack

wiggelen

Working with wiggle tracks in Python

infinitary-rewriting-coq

Infinitary Rewriting in Coq

quick-hacks

Random collection of source code thingies

tcp

TCP implementation for Minix 2

binning

Interval binning for Go

dotfiles

Home directory configuration files

pymotif

Implementation of Gibbs sampling for local alignments

documents

interval-binning

A Python implementation of the interval binning scheme

network-programming

Just a dump of course assignment solutions

pyvcf-presentation

PyVCF presentation

program-transformation

Program Transformation course implementations in Stratego/XT

kjew-website

Website for Kjew. Was located at kjew.nl but does not exist anymore.

wiki

Content of my ikiwiki

homepage

rpclib

Static clone of https://github.com/arskom/rpclib for Mutalyzer

vu-homepage

My (former) homepage at the VU University Amsterdam

checkuitcheckin

Check uit, check in -- a window into public opinion on the Dutch ov-chipkaart system

sara

A graphical tool for playing with Turing Machines in OCaml/GTK2/Cairo

vermaat-homepage

Vermaat family homepage

competitierekending

Calculate scores in the Dutch Track & Field competition

britney

A simple untyped Lambda Calculus interpreter in Java

nixos-config

My NixOS configuration

kiek

A static photoblog generator