Search: github.com/mthom | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: A Svelte/TypeScript and FastAPI Template for Async AI Chat with OpenAI

github.com/mthomason

2 years ago

1 points

2.

Scryer Prolog: A modern Prolog implementation written mostly in Rust

github.com/mthom

5 years ago

272 points

3.

Modern Prolog Implemented in Rust

github.com/mthom

7 years ago

93 points

4.

Recreational programming: Tacit programming in Prolog

github.com/mthom

a year ago

13 points

5.

Scryer Prolog v0.10.0 is out

github.com/mthom

9 months ago

7 points

6.

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

github.com/mthom

2 years ago

7 points

7.

Basic WebAssembly Support in Scryer Prolog

github.com/mthom

3 years ago

5 points

8.

Scryer-Prolog 0.9.2

github.com/mthom

3 years ago

5 points

9.

Scryer Prolog version 0.9.3 is out

github.com/mthom

3 years ago

4 points

10.

Release v1.1.0 of PostgreSQL-Prolog

github.com/mthom

3 years ago

4 points

11.

The Semantics of Testing. Also, Quads

github.com/mthom

a year ago

3 points

12.

Some novel features of Scryer Shen

github.com/mthom

2 years ago

3 points

13.

The First Annual Scryer Prolog Meetup

github.com/mthom

3 years ago

3 points

14.

Shentong – a Haskell implementation of Shen

github.com/mthom

12 years ago

michaelsbradley

2 points

15.

Tax Logic Evaluation with Prolog

github.com/mthom

2 months ago

2 points

16.

The Third Annual Scryer Prolog Meetup

github.com/mthom

a year ago

2 points

17.

Pure regex implementation using rational trees and if_/3

github.com/mthom

a year ago

2 points

18.

2025 Goals for Scryer Prolog

github.com/mthom

2 years ago

2 points

19.

Linguistic "Power" of Definite Clause Grammars?

github.com/mthom

2 years ago

2 points

20.

Appreciating Clpz_t/2

github.com/mthom

2 years ago

2 points

21.

Scryer Prolog development milestone: The second iteration of Rebis is out

github.com/mthom

4 years ago

2 points

22.

Using Prolog to unravel the foundations of oncology dose-escalation trial design

github.com/mthom

5 years ago

2 points

23.

The Warren Abstract Machine in Rust

github.com/mthom

8 years ago

2 points

24.

Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk

github.com/mthom

2 years ago

1 points

25.

From a Python function to a relation (a short personal essay)

github.com/mthom

2 years ago

1 points

26.

Analysing protection systems for giant particle accelerators

github.com/mthom

2 years ago

1 points

27.

Scryer Prolog 0.9.1: Greatly improved metacall performance

github.com/mthom

4 years ago

1 points

28.

Shentong: Haskell implementation of the Shen programming language

github.com/mthom

10 years ago

1 points

29.

Information Theory for Machine Learning [pdf]

github.com/mtomassoli

10 years ago

55 points

30.

Second Reality source code (demoscene)

github.com/mtuomi

13 years ago

15 points