Search: github.com/Form5 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

FSM-Oracle – A formally verified Finite State Machine oracle

github.com/statebox

6 years ago

18 points

662.

Internet-Draft: JSON Hypertext Application Language (lean format for linking)

14 years ago

17 points

663.

Ask HN: Examples of Unusual Code Formatting Styles?

4 years ago

17 points

664.

Show HN: My open source form builder

14 years ago

17 points

665.

Show HN: SmartStepper – Multi-Step Form Library with Config-Based Flow

github.com/Miladxsar23

a year ago

17 points

666.

Show HN: DMS with Folders, Tags, OCR for PDFs, TIFF and JEPG formats

github.com/ciur

6 years ago

17 points

667.

Show HN: Entish: A language for implementing RPG rules in formal logic

github.com/etherealmachine

5 years ago

etherealmachine

17 points

668.

The P Programming Language: Formal modeling and analysis of distributed systems

github.com/p-org

2 years ago

17 points

669.

Form letter template for acquired startups

gist.github.com

14 years ago

17 points

670.

Former Drupal dev compares the project to Scientology

gist.github.com

13 years ago

16 points

671.

Conversion of the date formats to and from Ethiopian calendar

github.com/melaku-z

5 years ago

16 points

672.

Prolog Formulation of the Constitution of Japan

github.com/bitlaw-jp

2 years ago

16 points

673.

Scalariform: A code formatter for Scala

12 years ago

16 points

674.

Show HN: Script to download Tweets into a format ideal for training an AI model

github.com/minimaxir

6 years ago

16 points

675.

Show HN: Fort.js – A modern progress bar for form completion

github.com/idriskhenchil

4 years ago

15 points

676.

Show HN: FizzBee – Formal Model based autonomous testing

9 months ago

15 points

677.

Show HN: UpvoteRate – Towards a fairer ranking formula for Hacker News

3 years ago

15 points

678.

Show HN: Auto Formatter for File Structures

github.com/benawad

6 years ago

15 points

679.

Tamei – Categorize Common Lisp Forms by Purity

github.com/cbaggers

11 years ago

15 points

680.

Show HN: Anysphere, home for important, long-form conversations

gist.github.com

4 years ago

14 points

681.

Show HN: Paradict – Streamable multi-format serialization with schema

github.com/pyrustic

3 years ago

14 points

682.

Show HN: Okapi – a metrics engine based on open data formats

github.com/okapi-core

10 months ago

14 points

683.

Show HN: React-metaform – React component for building forms out of metadata

github.com/gearz-lab

11 years ago

14 points

684.

Show HN: Extremely simple, fast, efficient, cross-platform serialization format

github.com/RainwayApp

6 years ago

14 points

685.

Show HN: I just made an All-In-One IP Toolbox form builder open-sourced

github.com/jason5ng32

2 years ago

14 points

686.

OpenAPT: Description Format for Apt Repositories

github.com/allocloud

7 years ago

14 points

687.

TermF1: A terminal-style dashboard for Formula 1

github.com/dk-a-dev

4 months ago

13 points

688.

IEEE FP8 Formats for Machine Learning (Draft) [pdf]

github.com/P3109

2 years ago

13 points

689.

Show HN: XMD – An Extensible Markdown Format

github.com/hayeah

11 years ago

13 points

690.

Show HN: CTON: JSON-compatible, token-efficient text format for LLM prompts

github.com/davidesantangelo

7 months ago

13 points