Search: github.com/UniMath | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Univalent Mathematics: Symmetry Book

github.com/UniMath

3 years ago

3 points

2.

UniMath: Univalent Mathematics

github.com/UniMath

10 years ago

1 points

3.

UNIMATRIx – A Society of AI Agents

github.com/gslf

2 months ago

2 points

4.

Unimatrix: the matrix in your terminal

github.com/danidee10

8 years ago

2 points

5.

Magic Window – Turn any folder on your computer into an online file viewer

github.com/uniqpath

10 years ago

2 points

6.

Autumn: A Java parser combinator library written with an unmatched feature set

github.com/norswap

5 years ago

2 points

7.

A Java parser combinator library written with an unmatched feature set

github.com/norswap

7 years ago

1 points

8.

Show HN: Making #regions actually useful in VSCode

github.com/alythobani

a year ago

13 points

9.

Show HN: On-device meeting transcription for your Mac

3 months ago

6 points

10.

Ark and GENESIS A protocol for sovereign know nodes and consent-based federation

5 months ago

2 points

11.

Show HN: Contextual AI Document Parser – Infer hierarchy for long, complex docs

a year ago

2 points

12.

Docker Desktop alternative - Container Desktop 5.2.3

2 years ago

2 points

13.

Show HN: CodeInbox – A CLI to send Claude notifications to Slack

github.com/codeinbox

a year ago

1 points

14.

Show HN: Persona.js – a vanilla-JS agent UI library with native WebMCP (MIT)

persona-chat.dev

2 days ago

12 points