Search: github.com/FourMan | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Why Formality-Core? (github.com/moonad)

1 point

7 years ago

62.

Formality-Core: an optimal, parallel compile target for functional languages (github.com/moonad)

1 point

7 years ago

63.

Edn: extensible data notation, a subset of Clojure (github.com/edn-format)

1 point

8 years ago

64.

“git push” deploys for convox (github.com/FormAPI)

1 point

8 years ago

65.

Show HN: Single-header C++ libraries for LLM APIs – zero deps beyond libcurl

1 point

3 months ago

66.

JSON formatter Chrome plugin now closed and injecting adware (github.com/callumlocke)

289 points

2 months ago

67.

Transit: JSON Data Interchange Format (github.com/cognitect)

164 points

11 years ago

68.

RISC-V formal spec public review (github.com/riscv)

116 points

7 years ago

69.

NMAP-formatter: convert NMAP results to HTML, CSV, JSON, graphviz (dot), SQLite (github.com/vdjagilev)

86 points

2 years ago

70.

Show HN: An extensible JSON viewer, editor, formatter, validator and more (github.com/agneym)

10 points

6 years ago

71.

Show HN: Frontmatter Format: A micro-format for YAML metadata on any file (github.com/jlevy)

8 points

2 years ago

72.

Diablo II Save File Format (Work in Progress) (github.com/krisives)

5 points

10 years ago

73.

Show HN: Export Your Kindle Highlights to Markdown (For Roam/Notion) (github.com/pch)

5 points

6 years ago

74.

Formal Conjectures (github.com/google-deepmind)

4 points

a year ago

75.

Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com/google-deepmind)

4 points

a year ago

76.

Formatters, linters, and compilers: Oh my (github.com/readme)

4 points

3 years ago

77.

Decompression Routines for Ancient Formats (github.com/temisu)

4 points

6 years ago

78.

A zelda sound will be played when your specs pass :) (github.com/Poilon)

3 points

11 years ago

79.

Show HN: Mac_format, rapid OS X OUI lookup tool and MAC address format translator (github.com/xraystyle)

3 points

10 years ago

80.

Swift-Format (github.com/apple)

3 points

3 years ago

81.

Show HN: JAC (JSON as CSV) Format – Flexible CSV Expression of JSON Files (github.com/UniversalDataTool)

3 points

6 years ago

82.

ESLint Tuned for Claude (github.com/jonathannen)

2 points

2 months ago

83.

Chip Design – New Open Source LEC(Logic Equivalence Checking) (github.com/keplertech)

2 points

4 months ago

84.

F3: The Open-Source Data File Format for the Future (github.com/future-file-format)

2 points

5 months ago

85.

Simple JSON formatting from the command line (github.com/oscardelben)

2 points

14 years ago

86.

File format for large sorted lists of integers (github.com/SebMtn)

2 points

a month ago

87.

SYNX – a config format that parses 67× faster than YAML, built for AI pipelines (github.com/kaiserrberg)

2 points

3 months ago

88.

A collection of formalized statements of conjectures in Lean (github.com/google-deepmind)

2 points

9 months ago

89.

Node.js JSON data formater / comparator (github.com/aivis)

2 points

14 years ago

90.

LM Format Enforcer: Enforce the output format of a language model (github.com/noamgat)

2 points

2 years ago