Search: github.com/lemmy | Heykuki News

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

1 point

4 months ago

32.

Show HN: TinyBoards – Self-Hosted FOSS Social Platform (Rust and GraphQL API) (github.com/tinyboard)

1 point

7 months ago

33.

Show HN: Upvote RSS – Generate RSS feeds from social aggregation websites (github.com/johnwarne)

1 point

a year ago

34.

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

191 points

11 years ago

35.

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

2 points

a month ago

36.

Show HN: Lemmafit: Make agents prove that their code is correct (github.com/midspiral)

7 points

3 months ago

37.

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (github.com/midspiral)

5 points

a month ago

38.

Show HN: Morphological parsing in Elixir (github.com/xiamx)

4 points

9 years ago

39.

WebGL Reaction Diffusion System (github.com/lemmingapex)

4 points

9 years ago

40.

Trilateration: Use distance to find unknown position (github.com/lemmingapex)

2 points

10 years ago

41.

My Project: Hypatia: 2D Action Adventure Engine for Nonprogrammers (and (github.com/lillian-lemmer)

1 point

11 years ago

42.

Lemmachine - A web framework in Agda (github.com/larrytheliquid)

1 point

16 years ago

43.

Self attention based computation of principal eigenvector under conditions (github.com/pointlander)

1 point

6 months ago

44.

Show HN: Lemma Derivation/Validation Trees (github.com/bryanhoulton)

1 point

2 years ago

45.

Lemmachine: a web framework in Agda (github.com/larrytheliquid)

1 point

16 years ago

46.

Global-Lemmatizer: lemmatize every word in the world with the help of Wiktionary (github.com/Heartade)

1 point

2 years ago

47.

Lemmings in your touch bar (github.com/erikolsson)

4 points

9 years ago

48.

Lemmings in your touch bar (github.com/erikolsson)

3 points

8 years ago

49.

Winkjs packages including lemmatizer are now under the MIT license (github.com)

4 points

sanjayaksaxena1

8 years ago

50.

Jargon: tokenizers and lemmatizers for Go (github.com/clipperhouse)

4 points

8 years ago

51.

Jargon, a lemmatizer for Go (github.com/clipperhouse)

1 point

8 years ago

52.

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

231 points

2 years ago

53.

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time” (github.com/gvelesandro)

84 points

a year ago

54.

Show HN: Loopsy, a way for terminals and AI agents on different machines to talk (github.com/leox255)

58 points

a month ago

55.

Show HN: Open-Source Lovable Alternative (github.com/bahodirr)

7 points

8 months ago

56.

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

7 points

10 years ago

57.

Show HN: I made a spaced-repetition-based language learning app (yap.town)

4 points

8 months ago

58.

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

4 points

10 years ago

59.

Show HN: Flutter Studio – A Shadcn-like UI library for Flutter (0 dependencies) (github.com/TejasS1233)

2 points

5 months ago

60.

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

2 points

6 months ago