Posts

Functions and Jordan canonical forms of Riordan matrices

Read more →

The Reasoned Schemer

miniKanren, microKanren and some implementations

Read more →

Algebraic Generating Functions for Languages Avoiding Riordan Patterns

Read more →

BiRank

Towards Ranking on Bipartite Graphs

Read more →

Axioms for Centrality

Read more →

Aggregation predicates for µkanren

Groups, window functions, sets and enumerations

Read more →

miniKanren, live and untagged

Quine generation via relational interpreters

Read more →

Teaching the art of computer programming

Read more →

Pure, declarative, and constructive arithmetic relations

A declarative pearl

Read more →

The igraph software package for complex network research

Read more →