Search: github.com/atris | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

2025 Goals for Scryer Prolog (github.com/mthom)

2 points

a year ago

422.

AWS IAM simulator: Prolog module that stores IAM policies and actions (github.com/dnmfarrell)

2 points

2 years ago

423.

Linguistic "Power" of Definite Clause Grammars? (github.com/mthom)

2 points

2 years ago

424.

Void Linux installer implemented in GNU Prolog (github.com/sdbtools)

2 points

3 years ago

425.

Constrained.pl: Prolog predicates using constraints to make them more flexible (github.com/bakaq)

2 points

3 years ago

426.

Prolog Programming for the Java Platform (github.com/s-webber)

2 points

3 years ago

427.

Raylib bindings to Scryer Prolog using library(FFI) (github.com/aarroyoc)

2 points

3 years ago

428.

Trealla Prolog Templates for Spin (github.com/guregu)

2 points

3 years ago

429.

A usable and IPv6-ready Usenet-server (NNTP daemon) (github.com/cdpxe)

2 points

4 years ago

430.

Parsing AsciiDoc in Prolog (github.com/alexpdp7)

2 points

4 years ago

431.

MIPSie: A Prolog MIPS Emulator (github.com/aarroyoc)

2 points

4 years ago

432.

Scryer Prolog development milestone: The second iteration of Rebis is out (github.com/mthom)

2 points

4 years ago

433.

Extending Repair Workflows with Logic Programming (github.com/microsoft)

2 points

4 years ago

434.

Using Prolog to unravel the foundations of oncology dose-escalation trial design (github.com/mthom)

2 points

5 years ago

435.

Estimating Covid-19's R_t in Real-Time (github.com/k-sys)

2 points

6 years ago

436.

Elxlog: Small pure Prolog intepreter/compiler in Elixir (github.com/sasagawa888)

2 points

7 years ago

437.

BADD Labs: Hands-On Labs for BlockchAin and DApp Development (github.com/badd-labs)

1 point

4 years ago

438.

Music Notation Grammar (github.com/kwon-young)

1 point

4 years ago

439.

Publication under FOSS licence of a multimodal journey planner (github.com/CanalTP)

1 point

12 years ago

440.

Simple Maturin Based Python Bindings to Scryer Prolog (github.com/philzook58)

1 point

3 months ago

441.

Add Prolog Query Subscription Support (github.com/coasys)

1 point

a year ago

442.

Clojure Bindings for Scryer Prolog (github.com/jjtolton)

1 point

a year ago

443.

A Card Game Using Scryer Prolog (github.com/kasbah)

1 point

a year ago

444.

Dose Escalation Designs in Universal Context of Titration for Oncology (github.com/Precisfice)

1 point

a year ago

445.

Scryer Prolog Solutions to Advent of Code 2024 (github.com/jasagredo)

1 point

a year ago

446.

Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk (github.com/mthom)

1 point

a year ago

447.

Prolog DCG to match string patterns (github.com/dnmfarrell)

1 point

2 years ago

448.

From a Python function to a relation (a short personal essay) (github.com/mthom)

1 point

2 years ago

449.

Analysing protection systems for giant particle accelerators (github.com/mthom)

1 point

2 years ago

450.

Simple Twitter, GitHub Stream Aggregator w/ Ruby (github.com/gristmill)

1 point

14 years ago