Search: github.com/FourMan | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

An emoji-based programming language (github.com/FourMan)

24 points

11 years ago

2.

Combined Flake8 and Black and Isort is Great (github.com/4Catalyzer)

1 point

3 years ago

3.

Form Animation: when form validation love animate.css (github.com/nnluukhtn)

1 point

10 years ago

4.

Show HN: Heliosinger – The Sun Sings Real-Time Space Weather (heliosinger.pages.dev)

3 points

7 months ago

5.

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

3 points

6 months ago

6.

Show HN: Memory system for AI agents with associations, forgetting, synthesis (github.com/jarimustonen)

2 points

a month ago

7.

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

2 points

5 months ago

8.

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

2 points

6 months ago

9.

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

1 point

2 years ago

10.

Token Optimisation with LLMs

1 point

2 months ago

11.

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

310 points

9 years ago

12.

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

291 points

3 years ago

13.

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

228 points

6 years ago

14.

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

215 points

6 years ago

15.

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

159 points

a year ago

16.

Formal Systems in Biology (github.com/prathyvsh)

133 points

6 years ago

17.

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

117 points

4 years ago

18.

Formality – An efficient programming language and proof assistant (github.com/maiavictor)

102 points

8 years ago

19.

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

68 points

14 years ago

20.

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

41 points

14 years ago

21.

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

30 points

2 years ago

22.

Formality, a (proof)gramming language featuring optimal reductions (github.com/moonad)

27 points

7 years ago

23.

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

27 points

8 months ago

24.

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

23 points

a year ago

25.

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

22 points

11 years ago

26.

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

6 points

7 years ago

27.

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

5 points

4 months ago

28.

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

5 points

7 years ago

29.

Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com/yamafaktory)

4 points

2 months ago

30.

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

4 points

6 years ago