We believe that programming can be, and should be, an intellectually rewarding activity; that a good programming language is a powerful conceptual tool — a tool for organizing, expressing, experimenting with, and even communicating one's thoughts ... we think that programming can be, and should be, part of the problem solving process itself; that thoughts should be organized as programs, so that consequences of a complex set of assumptions can be investigated by "running" the assumptions; that a conceptual solution to a problem should be developed hand-in-hand with a working program that demonstrates it and exposes its different aspects.

(Sterling & Shapiro, The Art of Prolog)


alg_structs: Algebraic structures in OCaml Structs

tokenize.pl: Tokenization library for SWI-Prolog balancing simplicity and flexibility

OSS Contributions

dune: OCaml's composable build system

aws_ssm_provider: A configuration provider for Elixir handling AWS SSM parameters

ATD: "Adaptable Type Definitions"

Eliom: OCaml framework for client/server web apps.

Vyconf: A software appliance configuration framework written in OCaml

tilde.town web ring: Linking the townies of tilde.town

Unpublished | WIP

ND Project: A pedagogical web toy for learning Gentzen’s natural deduction

These: A Type for inclusive disjunction

OCOBS: COBS (Consistent Overhead Byte Stuffing) in OCaml

Consolate: What if everything where a multiplexer?

protelog.pl: Experiments with Prolog syntax extensions