Skip to content

Instantly share code, notes, and snippets.

View Erikvv's full-sized avatar
🗽

Erik van Velzen Erikvv

🗽
View GitHub Profile
@Erikvv
Erikvv / index.html
Last active July 7, 2023 13:20 — forked from ndkv/index.html
PDOK docs Quickstart Leaflet
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<link rel="stylesheet" href="https://cdn.leafletjs.com/leaflet-0.7.3/leaflet.css" />
<script src="https://cdn.leafletjs.com/leaflet-0.7.3/leaflet.js"></script>
<style>
#map {
@Erikvv
Erikvv / tuning reputation further.ipynb
Created June 21, 2022 08:51 — forked from thepaul/tuning reputation further.ipynb
Tuning reputation calculation parameters
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.