λProlog: Logic programming in higher-order logic (lix.polytechnique.fr) | HN Screenshots

YHacker Newsscreenshots

Screenshot of lix.polytechnique.fr: λProlog: Logic programming in higher-order logic

First screen, captured 8 months ago.

Looks similar

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 mihaiolteanu.me: The soloists and populars of the software world

The soloists and populars of the software world (mihaiolteanu.me)

5 points by molteanu 3 years ago | 0 comments

Screenshot of blog.kowalczyk.info: I ported pigz from Unix to Windows

I ported pigz from Unix to Windows (blog.kowalczyk.info)

72 points by speckx 1 year ago | 31 comments

Screenshot of jiahao116.github.io: André Weil and the Hodge Conjecture

André Weil and the Hodge Conjecture (jiahao116.github.io)

29 points by caojiahao 1 month ago | 11 comments

Screenshot of kobzol.github.io: Tokio and Prctl = Nasty Bug

Tokio and Prctl = Nasty Bug (kobzol.github.io)

190 points by ingve 1 year ago | 61 comments

Screenshot of byorgey.github.io: Purely Functional Sliding Window Aggregation Algorithm

Purely Functional Sliding Window Aggregation Algorithm (byorgey.github.io)

55 points by agnishom 1 year ago | 17 comments