Regan-Koopmans

n-queens

A solver for the n-queens problem.

slides

Slides from talks

async-javascript-crashcourse

atlasdb

Transactional Distributed Database Layer

blueprint

A React-based UI toolkit for the web

clpz

Constraint Logic Programming over Integers

css-grid-crashcourse

encrypted-config-value

Tooling for encrypting certain configuration parameter values in dropwizard apps

FSharp.Data

F# Data: Library for Data Access

graal

GraalVM: Run Programs Faster Anywhere :rocket:

hedera-sdk-java

Hedera™ Hashgraph SDK for Java

java-vector-api

jdk

JDK main-line development

logica

Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.

music-man

Describing music in formal logic

optimal-stopping

partial-map

planet-client-python

Python client for Planet APIs

prolog_algorithms

refreshable

A simple wrapper around a value that changes over time

Regan-Koopmans

Regan-Koopmans.github.io

roboslack

A pluggable, fluent, straightforward Java library for interacting with Slack.

safe-logging

Interfaces and utilities for safe log messages

sclf

scryer-prolog

A modern Prolog implementation written mostly in Rust.

sentinelhub-py

Download and process satellite imagery in Python using Sentinel Hub services.

supply_chain_prolog

trollsift

Filtering modules used in Pytroll

wddng