DavyLandman
Implements DSLs for a living. Parsers, typecheckers, compilers, interpreters, VS Code extensions, you name it. One of core developers of Rascal (@usethesource)
@SWAT-engineering Amsterdam, The Netherlands
Pinned Repositories
AESLib
Arduino Library for AES Encryption (source based on avr-crypto-lib)
compact25519
A compact portable X25519 + Ed25519 implementation
csvtools
GNU-alike tools for parsing RFC 4180 CSVs at high speed.
ncd
Script to calculate the normalized compression distance of sets of files. It also tries to parallize the work over the available processors.
p1-esp8266
P1 serial forwarder for use in HomeAssistent
portable8439
Portable 8439: ChaCha20-Poly1305 (RFC 8439) in portable & fast C99
kiwi-air-monitor
Kiwi monitor is an open source CO2/Humidity/Temperature sensor intended for monitoring the quality of the air in a room. Kiwi was created to support teachers with a notification to ventilate their classroom.
rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
rascal-language-servers
An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.
vallang
Generic immutable recursive data representation API targeted at source code models and more.
DavyLandman's Repositories
DavyLandman/AESLib
Arduino Library for AES Encryption (source based on avr-crypto-lib)
DavyLandman/csvtools
GNU-alike tools for parsing RFC 4180 CSVs at high speed.
DavyLandman/compact25519
A compact portable X25519 + Ed25519 implementation
DavyLandman/portable8439
Portable 8439: ChaCha20-Poly1305 (RFC 8439) in portable & fast C99
DavyLandman/p1-esp8266
P1 serial forwarder for use in HomeAssistent
DavyLandman/tom-en-anna.landman.cloud
Tom's website
DavyLandman/vscode-extension-samples
Sample code illustrating the VS Code extension API.
DavyLandman/analytics
Simple, open-source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.
DavyLandman/covid-19
DavyLandman/covid-19-rivm-data
DavyLandman/demo-strange-tcp-behavior-nodejs-windows
DavyLandman/dotfiles
DavyLandman/esp-heat-camera
DavyLandman/esphome
ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.
DavyLandman/esphome-docs
Source for esphome.io documentation files.
DavyLandman/GFW
Various tools to bypass the GFW.
DavyLandman/google-photos-exif
A tool to populate missing `DateTimeOriginal` EXIF metadata in Google Photos takeout, using Google's JSON metadata.
DavyLandman/home-assistant.io
:blue_book: Home Assistant User documentation
DavyLandman/kids-clock
DavyLandman/lazy-recipes
DavyLandman/matrix-docker-ansible-deploy
Matrix (An open network for secure, decentralized communication) server setup using Ansible and Docker
DavyLandman/nl-covid19-data-dashboard
The dashboard provides information on the outbreak and prevalence of COVID-19 in The Netherlands
DavyLandman/node-red-contrib-home-assistant-websocket
Node-RED integration with Home Assistant Core
DavyLandman/p1-esp32
DavyLandman/poly1305-donna
Implementations of a fast Message-Authentication Code
DavyLandman/sliot
DavyLandman/test-maven-deploy
DavyLandman/TFT_eSPI
Arduino and PlatformIO IDE compatible TFT library optimised for the STM32, ESP8266 and ESP32 that supports different driver chips
DavyLandman/typepal
DavyLandman/vscode-extension-tester
Framework for simulating user interactions with VS Code and its extensions via Webdriver