Search: github.com/lemmy | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

SpacyDo Task Engine virtual machine example: todo with programmable tasks

4 months ago

1 points

32.

Show HN: TinyBoards – Self-Hosted FOSS Social Platform (Rust and GraphQL API)

github.com/tinyboard

8 months ago

1 points

33.

Show HN: Upvote RSS – Generate RSS feeds from social aggregation websites

github.com/johnwarne

a year ago

1 points

34.

Show HN: Hypatia 0.2, a 2D adventure game engine

11 years ago

191 points

35.

Show HN: We put ZK attribute proofs inside x402 payment headers

2 months ago

2 points

36.

Show HN: Lemmafit: Make agents prove that their code is correct

github.com/midspiral

3 months ago

7 points

37.

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny

github.com/midspiral

2 months ago

5 points

38.

Show HN: Morphological parsing in Elixir

github.com/xiamx

9 years ago

4 points

39.

WebGL Reaction Diffusion System

github.com/lemmingapex

9 years ago

4 points

40.

Trilateration: Use distance to find unknown position

github.com/lemmingapex

10 years ago

2 points

41.

My Project: Hypatia: 2D Action Adventure Engine for Nonprogrammers (and

github.com/lillian-lemmer

11 years ago

1 points

42.

Lemmachine - A web framework in Agda

github.com/larrytheliquid

16 years ago

1 points

43.

Self attention based computation of principal eigenvector under conditions

github.com/pointlander

7 months ago

1 points

44.

Show HN: Lemma Derivation/Validation Trees

github.com/bryanhoulton

2 years ago

1 points

45.

Lemmachine: a web framework in Agda

github.com/larrytheliquid

16 years ago

1 points

46.

Global-Lemmatizer: lemmatize every word in the world with the help of Wiktionary

github.com/Heartade

2 years ago

1 points

47.

Lemmings in your touch bar

github.com/erikolsson

10 years ago

4 points

48.

Lemmings in your touch bar

github.com/erikolsson

9 years ago

3 points

49.

Winkjs packages including lemmatizer are now under the MIT license

8 years ago

sanjayaksaxena1

4 points

50.

Jargon: tokenizers and lemmatizers for Go

github.com/clipperhouse

8 years ago

4 points

51.

Jargon, a lemmatizer for Go

github.com/clipperhouse

8 years ago

1 points

52.

Launch HN: Danswer (YC W24) – Open-source AI search and chat over private data

2 years ago

231 points

53.

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time”

github.com/gvelesandro

a year ago

84 points

54.

Show HN: Loopsy, a way for terminals and AI agents on different machines to talk

github.com/leox255

2 months ago

58 points

55.

Show HN: Open-Source Lovable Alternative

github.com/bahodirr

9 months ago

7 points

56.

Open source can create more paid female coders, safety for trans women

10 years ago

7 points

57.

Show HN: I made a spaced-repetition-based language learning app

9 months ago

4 points

58.

Show HN: STATICFUZZ – Memories which vanish. Live 10 post message board

10 years ago

4 points

59.

Show HN: Flutter Studio – A Shadcn-like UI library for Flutter (0 dependencies)

github.com/TejasS1233

6 months ago

2 points

60.

Show HN: ZON-TS 50–65% fewer LLM tokens zero parse overhead better than TOON/CSV

6 months ago

2 points