Datalog in miniKanren (deosjr.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of deosjr.github.io: Datalog in miniKanren

First screen, captured 1 year ago.

Looks similar

Screenshot of learndatalogtoday.org: Learn Datalog Today

Learn Datalog Today (learndatalogtoday.org)

178 points by tosh 2 years ago | 47 comments

Screenshot of panadestein.github.io: Scheming a mise-en-abîme in BQN

Scheming a mise-en-abîme in BQN (panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments

Screenshot of wiki.c2.com: Tuple Space (2014)

Tuple Space (2014)(wiki.c2.com)

98 points by paulgb 3 years ago | 50 comments

Screenshot of journal.stuffwithstuff.com: Access Control Syntax

Access Control Syntax (journal.stuffwithstuff.com)

26 points by todsacerdoti 1 year ago | 14 comments

Screenshot of borgo-lang.github.io: Borgo Programming Language

Borgo Programming Language (borgo-lang.github.io)

334 points by MrBuddyCasino 1 year ago | 159 comments

Interactive intro and playground for Borgo, a new statically typed programming language with Rust-like features that compiles to Go.

borgo go rust programming-languages

Screenshot of theerlangelist.com: Why Elixir (2014)

Why Elixir (2014)(theerlangelist.com)

104 points by arrowsmith 2 years ago | 38 comments