Search: github.com/atris | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Creating Magic Thumbnails: The art of manipulating PNG gamma

github.com/trishume

14 years ago

1 points

362.

Snake Game Made in Go

github.com/tristangoossens

7 years ago

tristangoossens

1 points

363.

Cycling tristate checkbox component for Vue.js

github.com/hartwork

6 years ago

2 points

364.

TLS-Tris - Crypto/TLS, now with 100% more 1.3

github.com/cloudflare

9 years ago

2 points

365.

github.com/cloudflare

9 years ago

1 points

366.

Scryer Prolog library for Datomic: https://github.com/jjtolton/scrytomic

8 months ago

2 points

367.

Show HN: MemHub, Turn Your GPT/Claude/Gemini History into LLM-Wiki Mindmap

github.com/XTraceAI

2 months ago

6 points

368.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

5 months ago

1 points

369.

Prolog language for PostgreSQL proof of concept

github.com/tatut

2 years ago

214 points

370.

An online IDE for visual programming in Prolog

github.com/toblotron

3 years ago

167 points

371.

Show HN: GPG on macOS and YubiKey

github.com/DataDog

7 years ago

trishankdatadog

150 points

372.

An embeddable Prolog scripting language for Go

github.com/ichiban

4 years ago

131 points

373.

Web Prolog and the Programmable Prolog Web [pdf]

github.com/Web-Prolog

8 years ago

125 points

374.

PostgreSQL-Prolog: A Prolog library to connect to PostgreSQL databases

github.com/aarroyoc

5 years ago

99 points

375.

Trealla Prolog embedded in Go using WASM

github.com/guregu

4 years ago

89 points

376.

Demo of a WAM Prolog Implementation in Python

github.com/brunokim

5 years ago

89 points

377.

Dogalog: A realtime Prolog-based livecoding music environment

github.com/danja

6 months ago

82 points

378.

Forth VM and compiler written in C++ and Scryer Prolog

github.com/no382001

3 months ago

37 points

379.

Simple SVG gauge built with Raphael

github.com/gristmill

14 years ago

33 points

380.

Scryer Prolog NPM package (experimental)

github.com/guregu

a year ago

14 points

381.

Recreational programming: Tacit programming in Prolog

github.com/mthom

a year ago

13 points

382.

Show HN: XTrace – Encrypted vector DB (search embeddings without exposing them)

github.com/XTraceAI

2 months ago

13 points

383.

Global key-value metadata storage for Scryer Prolog

github.com/jjtolton

8 months ago

13 points

384.

Pkg.pl: An experimental package manager for Scryer Prolog

github.com/bakaq

a year ago

13 points

385.

Teruel – Template Engine in Prolog Inspired by Tera and Jinja

github.com/aarroyoc

5 years ago

10 points

386.

Djota: A Djot Implementation in Prolog

github.com/aarroyoc

3 years ago

8 points

387.

Qupak: Pattern Matching for Prolog with library(reif)

github.com/bakaq

9 months ago

8 points

388.

Scryer Prolog v0.10.0 is out

github.com/mthom

9 months ago

7 points

389.

Scryer Prolog: The fourth iteration of rebis-dev is out

github.com/mthom

2 years ago

7 points

390.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP

github.com/adamrybinski

8 months ago

6 points