Regan-Koopmans
Software Engineer and caffeine enthusiast. Interested in logic programming and distributed computing.
@flexportAmsterdam, The Netherlands
Pinned Repositories
kouyin
Detect pitch accent in web audio
agora
A prototype distributed file-system
arinsuretech-carcrash
An example project from the Offerzen Make Root Insurance and AR event 🔥
assign-serv
An appointment-managing web app, with a Rust back-end, and Material front-end.
compiler-project-lexer-and-parser
Repository for the compiler construction practical project.
Notes
Some notes for 2nd Year.
tifftastic
A TIFF image viewer
typerift
Create TypeScript interfaces from Scala case classes
wtf
A brainfuck interpreter and compiler
xi
A toy functional language that compiles to JavaScript
Regan-Koopmans's Repositories
Regan-Koopmans/n-queens
A solver for the n-queens problem.
Regan-Koopmans/slides
Slides from talks
Regan-Koopmans/tifftastic
A TIFF image viewer
Regan-Koopmans/wtf
A brainfuck interpreter and compiler
Regan-Koopmans/async-javascript-crashcourse
Regan-Koopmans/atlasdb
Transactional Distributed Database Layer
Regan-Koopmans/blueprint
A React-based UI toolkit for the web
Regan-Koopmans/clpz
Constraint Logic Programming over Integers
Regan-Koopmans/dotfiles
Regan-Koopmans/encrypted-config-value
Tooling for encrypting certain configuration parameter values in dropwizard apps
Regan-Koopmans/FSharp.Data
F# Data: Library for Data Access
Regan-Koopmans/graal
GraalVM: Run Programs Faster Anywhere :rocket:
Regan-Koopmans/hedera-sdk-java
Hedera™ Hashgraph SDK for Java
Regan-Koopmans/java-vector-api
Regan-Koopmans/logica
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
Regan-Koopmans/music-man
Describing music in formal logic
Regan-Koopmans/optimal-stopping
Regan-Koopmans/planet-client-python
Python client for Planet APIs
Regan-Koopmans/prolog_algorithms
Regan-Koopmans/refreshable
A simple wrapper around a value that changes over time
Regan-Koopmans/Regan-Koopmans
Regan-Koopmans/Regan-Koopmans.github.io
Regan-Koopmans/roboslack
A pluggable, fluent, straightforward Java library for interacting with Slack.
Regan-Koopmans/safe-logging
Interfaces and utilities for safe log messages
Regan-Koopmans/sclf
Regan-Koopmans/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Regan-Koopmans/sentinelhub-py
Download and process satellite imagery in Python using Sentinel Hub services.
Regan-Koopmans/supply_chain_prolog
Regan-Koopmans/trollsift
Filtering modules used in Pytroll
Regan-Koopmans/wddng