Search: github.com/advancedresearch | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Poi: Pragmatic point-free theorem prover assistant in Rust

github.com/advancedresearch

6 years ago

71 points

2.

A linear solver designed to be easy to use with Rust enums

github.com/advancedresearch

8 years ago

4 points

3.

github.com/advancedresearch

5 years ago

2 points

4.

github.com/advancedresearch

6 years ago

2 points

5.

Answered Modal Logic CatuṣkoṭI [pdf]

github.com/advancedresearch

5 years ago

1 points

6.

Show HN: I Built a Local-First AI Chat App with Advanced RAG

a year ago

5 points