Search: github.com/FormAPI | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: WLM-SLP – A 0D-27D Structural Language for Multi-Agent Alignment (github.com/gavingu2255-ai)

1 point

4 months ago

92.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

1 point

4 months ago

93.

Show HN: Open-source multi-agent subtitle translator (self-hosted) (github.com/subtitlesdog)

1 point

4 months ago

94.

A (humble) new proposal for the FE ecosystem

1 point

5 months ago

95.

Show HN: Research repo for a time-based macroeconomic valuation model (github.com/ArturGrandi)

1 point

6 months ago

96.

Show HN: Structural Genesis – structure emerging from nothing (Ø₀) (github.com/jengbeng)

1 point

6 months ago

97.

Show HN: Retend – A(nother) new JavaScript framework (github.com/adebola-io)

1 point

a year ago

98.

CKAN – Feedback before send to a journal

1 point

2 years ago

99.

Show HN: Helping developers write programs to operate Android devices

1 point

2 years ago

100.

Show HN: Zonformat– 35–60% fewer LLM tokens using zero-overhead notation (zonformat.org)

3 points

6 months ago

101.

Show HN: Raindrip – AI-Friendly CLI for Raindrop API (github.com/rinvii)

2 points

5 months ago

102.

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

2 points

6 months ago

103.

Show HN: Build and Maintain React Forms with Ease – Formactory

1 point

2 years ago

104.

Token Optimisation with LLMs

1 point

2 months ago

105.

A Python implementation of formal systems from the book “Gödel, Escher, Bach” (github.com/alexprengere)

310 points

9 years ago

106.

Show HN: Forma – An efficient vector-graphics renderer (github.com/google)

291 points

3 years ago

107.

WireViz: Tool for documenting cables, wiring harnesses and connector pinouts (github.com/formatc1702)

228 points

6 years ago

108.

Visualizing and Understanding JPEG Format (github.com/corkami)

215 points

6 years ago

109.

Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)

159 points

a year ago

110.

Formal Systems in Biology (github.com/prathyvsh)

133 points

6 years ago

111.

Advanced Scientific Data Format (github.com/asdf-format)

117 points

4 years ago

112.

Show HN: My "weekend" project, an ML dialect and compiler (texodus.github.com)

68 points

14 years ago

113.

Twitter-format(7) (aprescott.github.com)

41 points

14 years ago

114.

"Polyfill.io sold to a weird Chinese company and should no longer be recommended (github.com/formatjs)

30 points

2 years ago

115.

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

27 points

8 months ago

116.

A new approach to data handling between systems/for AI (github.com/dev-formata-io)

23 points

a year ago

117.

Show HN: Format – a Swift 2.0 formatting kit (github.com/marmelroy)

22 points

11 years ago

118.

Show HN: Format Preserving Lorem Ipsum Generator (github.com/TonicAI)

6 points

7 years ago

119.

Show HN: A simple pricing and resource limit library (github.com/dev-formata-io)

5 points

4 months ago

120.

Edn: Data Notation of Clojure (JSON to JavaScript, Edn to Clojure) (github.com/edn-format)

5 points

7 years ago