Search: github.com/FourMan | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Lance – Open lakehouse format for multimodal AI datasets (github.com/lance-format)

4 points

5 months ago

32.

Token-Oriented Object Notation (TOON) (github.com/toon-format)

3 points

7 months ago

33.

Edn format – extensible data notation (github.com/edn-format)

3 points

12 years ago

34.

Token-Oriented Object Notation (Toon) (github.com/toon-format)

3 points

7 months ago

35.

Formality Language (github.com/moonad)

3 points

6 years ago

36.

Edn (github.com/edn-format)

3 points

7 years ago

37.

Formality: An efficient programming language and proof assistant (github.com/MaiaVictor)

3 points

8 years ago

38.

Form data to js object to json - jQuery plugin (github.com/mazondo)

2 points

13 years ago

39.

New config file format based on Markdown (github.com/mol-format)

2 points

2 months ago

40.

Formal.js – A classier way to validate forms (github.com/talsafran)

2 points

11 years ago

41.

Show HN: I built Formax to explore how Claude Code-style assistants work (github.com/yusifeng)

2 points

3 months ago

42.

Show HN: When TOON isnt enough, you need to GOON (github.com/GOON-format)

2 points

6 months ago

43.

TOON is a compact serialization format for passing structured data to LLMs (github.com/toon-format)

2 points

7 months ago

44.

Show HN: An Infrastructure as Code (IaC) Tool for AWS Organizations (github.com/org-formation)

2 points

2 years ago

45.

Formatting Adam Digital Data Packs Using MAME's 'Castool' [pdf] (github.com/tschak909)

2 points

3 years ago

46.

edn: Extensible Data Notation (2014) (github.com/edn-format)

2 points

5 years ago

47.

Goodbye, JavaScript: Formality is now implemented in itself (github.com/moonad)

2 points

5 years ago

48.

Computer assisted theoretical philosophy (github.com/FormalTheology)

2 points

10 years ago

49.

Show HW: Markdown Object Language (github.com/mol-format)

1 point

a month ago

50.

JQuery plugin for turning form inputs into a js object (github.com/mazondo)

1 point

12 years ago

51.

Formalizations of Gödel's Ontological Proof of God's Existence (github.com/FormalTheology)

1 point

13 years ago

52.

We added TOON compression to our LLM gateway – compress prompts, saves tokens (github.com/toon-format)

1 point

4 months ago

53.

MusGo Is Deprecated (github.com/mus-format)

1 point

3 years ago

54.

Formalize, a jQuery plugin for multi-section webforms (github.com/vgpena)

1 point

12 years ago

55.

Format-corpus (github.com/openplanets)

1 point

14 years ago

56.

Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com/yamafaktory)

1 point

2 months ago

57.

Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com/yamafaktory)

1 point

2 months ago

58.

Toon for LLM (github.com/toon-format)

1 point

7 months ago

59.

EDN – Extensible Data Notation (github.com/edn-format)

1 point

4 years ago

60.

Formality (github.com/moonad)

1 point

7 years ago