Search: github.com/FormAPI | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: IQT – Why space feels panoramic and time feels fleeting

github.com/creatorrr

4 months ago

1 points

92.

Show HN: WLM-SLP – A 0D-27D Structural Language for Multi-Agent Alignment

github.com/gavingu2255-ai

4 months ago

1 points

93.

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

5 months ago

1 points

94.

Show HN: Open-source multi-agent subtitle translator (self-hosted)

github.com/subtitlesdog

5 months ago

1 points

95.

A (humble) new proposal for the FE ecosystem

6 months ago

1 points

96.

Show HN: Research repo for a time-based macroeconomic valuation model

github.com/ArturGrandi

6 months ago

1 points

97.

Show HN: Structural Genesis – structure emerging from nothing (Ø₀)

github.com/jengbeng

7 months ago

1 points

98.

Show HN: Retend – A(nother) new JavaScript framework

github.com/adebola-io

a year ago

1 points

99.

CKAN – Feedback before send to a journal

2 years ago

1 points

100.

Show HN: Helping developers write programs to operate Android devices

2 years ago

1 points

101.

Show HN: Zonformat– 35–60% fewer LLM tokens using zero-overhead notation

6 months ago

3 points

102.

Show HN: Raindrip – AI-Friendly CLI for Raindrop API

github.com/rinvii

5 months ago

2 points

103.

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

6 months ago

2 points

104.

Token Optimisation with LLMs

3 months ago

1 points

105.

A Python implementation of formal systems from the book “Gödel, Escher, Bach”

github.com/alexprengere

9 years ago

310 points

106.

WireViz: Tool for documenting cables, wiring harnesses and connector pinouts

github.com/formatc1702

6 years ago

228 points

107.

Coq-of-rust: Formal verification tool for Rust

github.com/formal-land

a year ago

159 points

108.

Formal Systems in Biology

github.com/prathyvsh

6 years ago

133 points

109.

Extensible Data Notation

github.com/edn-format

9 months ago

27 points

110.

A new approach to data handling between systems/for AI

github.com/dev-formata-io

a year ago

23 points

111.

Show HN: Format Preserving Lorem Ipsum Generator

github.com/TonicAI

7 years ago

6 points

112.

Edn: Data Notation of Clojure (JSON to JavaScript, Edn to Clojure)

github.com/edn-format

7 years ago

5 points

113.

Token-Oriented Object Notation (TOON)

github.com/toon-format

7 months ago

3 points

114.

Edn format – extensible data notation

github.com/edn-format

12 years ago

3 points

115.

Token-Oriented Object Notation (Toon)

github.com/toon-format

8 months ago

3 points

116.

github.com/edn-format

7 years ago

3 points

117.

New config file format based on Markdown

github.com/mol-format

2 months ago

2 points

118.

Formal.js – A classier way to validate forms

github.com/talsafran

11 years ago

2 points

119.

Show HN: I built Formax to explore how Claude Code-style assistants work

github.com/yusifeng

3 months ago

2 points

120.

Show HN: When TOON isnt enough, you need to GOON

github.com/GOON-format

7 months ago

2 points