Search: github.com/atris | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Pokemon Draft Tools in Prolog (github.com/alexpetros)

4 points

5 months ago

392.

Scryer Prolog version 0.9.3 is out (github.com/mthom)

4 points

3 years ago

393.

Release v1.1.0 of PostgreSQL-Prolog (github.com/mthom)

4 points

3 years ago

394.

Programming Language for LLMs: OpenAI's GPT, Meta's LLaMa (github.com/LLNL)

4 points

3 years ago

395.

An online IDE for visual programming in Prolog (github.com/toblotron)

4 points

3 years ago

396.

CFNTP: Modern NTP Written in Rust (github.com/cloudflare)

4 points

7 years ago

397.

We built a faster WASM-bindgen (2.5×) for high-frequency JavaScript<–>Rust calls (github.com/stylearcade)

3 points

8 months ago

398.

OpenMLDB: An new open-source database for production AI/ML workloads (github.com/4paradigm)

3 points

5 years ago

399.

Prologcoin: Fusing Prolog with Cryptocurrency Technology (github.com/datavetaren)

3 points

6 years ago

400.

RFC: Distributed Computation Mesh in Logos Language (github.com/Brahmastra-Labs)

3 points

5 months ago

401.

Take: Process file lines with a logic-based language (github.com/damianoazzolini)

3 points

10 months ago

402.

The Semantics of Testing. Also, Quads (github.com/mthom)

3 points

a year ago

403.

Some novel features of Scryer Shen (github.com/mthom)

3 points

2 years ago

404.

Solutions to Advent of Code 2023 with Scryer-Prolog (github.com/jasagredo)

3 points

3 years ago

405.

The First Annual Scryer Prolog Meetup (github.com/mthom)

3 points

3 years ago

406.

PHP: Prolog Home Page (github.com/guregu)

3 points

4 years ago

407.

WIP: Webrender graphic back end (GPU-accelerated Emacs) (github.com/remacs)

3 points

6 years ago

408.

A résumé as a PostScript quine (github.com/luser-dr00g)

3 points

7 years ago

409.

Libpb: PocketBase wrapper with serialization/deserialization support for D (github.com/Hax-io)

2 points

3 years ago

410.

Calvin: Massively-scalable transactional database (github.com/yaledb)

2 points

12 years ago

411.

A local-first multimodal knowledge platform for managing entities (github.com/mat-mgm)

2 points

15 days ago

412.

Tax Logic Evaluation with Prolog (github.com/mthom)

2 points

2 months ago

413.

A simple online forum written in Prolog (github.com/danilp-id)

2 points

2 months ago

414.

A high-performance bridge between Scryer Prolog and Python (github.com/sporeking)

2 points

3 months ago

415.

A simple graph database implementation running on Scryer Prolog (github.com/argahsuknesib)

2 points

6 months ago

416.

Towards an Implementation-Independent Interface for Semantic Web in Prolog [pdf] (github.com/Kiyoshi364)

2 points

6 months ago

417.

Python Integration for Scryer Prolog Using FFI (Research Project) (github.com/jjtolton)

2 points

7 months ago

418.

A C embedding API for Scryer Prolog (github.com/bakaq)

2 points

a year ago

419.

The Third Annual Scryer Prolog Meetup (github.com/mthom)

2 points

a year ago

420.

Pure regex implementation using rational trees and if_/3 (github.com/mthom)

2 points

a year ago