Search: github.com/atris | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: GPG on macOS and YubiKey (github.com/DataDog)

150 points

trishankdatadog

7 years ago

362.

An embeddable Prolog scripting language for Go (github.com/ichiban)

131 points

4 years ago

363.

Web Prolog and the Programmable Prolog Web [pdf] (github.com/Web-Prolog)

125 points

8 years ago

364.

PostgreSQL-Prolog: A Prolog library to connect to PostgreSQL databases (github.com/aarroyoc)

99 points

5 years ago

365.

Trealla Prolog embedded in Go using WASM (github.com/guregu)

89 points

4 years ago

366.

Demo of a WAM Prolog Implementation in Python (github.com/brunokim)

89 points

5 years ago

367.

Dogalog: A realtime Prolog-based livecoding music environment (github.com/danja)

82 points

6 months ago

368.

Forth VM and compiler written in C++ and Scryer Prolog (github.com/no382001)

37 points

2 months ago

369.

Simple SVG gauge built with Raphael (github.com/gristmill)

33 points

14 years ago

370.

Scryer Prolog NPM package (experimental) (github.com/guregu)

14 points

a year ago

371.

Recreational programming: Tacit programming in Prolog (github.com/mthom)

13 points

a year ago

372.

Show HN: XTrace – Encrypted vector DB (search embeddings without exposing them) (github.com/XTraceAI)

13 points

a month ago

373.

Global key-value metadata storage for Scryer Prolog (github.com/jjtolton)

13 points

7 months ago

374.

Pkg.pl: An experimental package manager for Scryer Prolog (github.com/bakaq)

13 points

a year ago

375.

Teruel – Template Engine in Prolog Inspired by Tera and Jinja (github.com/aarroyoc)

10 points

5 years ago

376.

Djota: A Djot Implementation in Prolog (github.com/aarroyoc)

8 points

3 years ago

377.

Qupak: Pattern Matching for Prolog with library(reif) (github.com/bakaq)

8 points

8 months ago

378.

Scryer Prolog v0.10.0 is out (github.com/mthom)

7 points

8 months ago

379.

Scryer Prolog: The fourth iteration of rebis-dev is out (github.com/mthom)

7 points

2 years ago

380.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com/adamrybinski)

6 points

7 months ago

381.

Agentic memory with passive recall and citations as trust graph (github.com/Kromatic-Innovation)

5 points

2 months ago

382.

Prolog Implementation of the IRS Fact Graph (github.com/alexpetros)

5 points

2 months ago

383.

Basic WebAssembly Support in Scryer Prolog (github.com/mthom)

5 points

3 years ago

384.

Scryer-Prolog 0.9.2 (github.com/mthom)

5 points

3 years ago

385.

Marquete: Markdown for Prolog (github.com/aarroyoc)

5 points

4 years ago

386.

Serverless Prolog for Cloudflare Workers (github.com/guregu)

5 points

4 years ago

387.

Cat GAN Faces in JavaScript (github.com/DanielRapp)

5 points

4 years ago

388.

Save Blink or die trying (github.com/adnrw)

4 points

13 years ago

389.

Imagining Prolog on Web Scale (github.com/josd)

4 points

4 years ago

390.

A lightweight, embeddable Prolog interpreter written in C11 (github.com/no382001)

4 points

3 months ago