Regan-Koopmans
Software Engineer and caffeine enthusiast. Interested in logic programming and distributed computing.
@planetlabsAmsterdam, The Netherlands
Pinned Repositories
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.
brutus
A Caesar-cypher decoder.
compiler-project-lexer-and-parser
Repository for the compiler construction practical project.
micro-swarm
A small particle swarm optimiser, in less than 50 lines of pure JavaScript.
n-queens
A solver for the n-queens problem.
Notes
Some notes for 2nd Year.
slides
Slides from talks
typerift
Create TypeScript interfaces from Scala case classes
Regan-Koopmans's Repositories
Regan-Koopmans/n-queens
A solver for the n-queens problem.
Regan-Koopmans/slides
Slides from talks
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/css-grid-crashcourse
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/jdk
JDK main-line development
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/partial-map
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