Search: github.com/forem | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

691.

Show HN: Entish: A language for implementing RPG rules in formal logic (github.com/etherealmachine)

17 points

etherealmachine

5 years ago

692.

The P Programming Language: Formal modeling and analysis of distributed systems (github.com/p-org)

17 points

2 years ago

693.

Form letter template for acquired startups (gist.github.com)

17 points

14 years ago

694.

Former Drupal dev compares the project to Scientology (gist.github.com)

16 points

13 years ago

695.

Conversion of the date formats to and from Ethiopian calendar (github.com/melaku-z)

16 points

5 years ago

696.

Prolog Formulation of the Constitution of Japan (github.com/bitlaw-jp)

16 points

2 years ago

697.

Scalariform: A code formatter for Scala (github.com/mdr)

16 points

12 years ago

698.

Show HN: Script to download Tweets into a format ideal for training an AI model (github.com/minimaxir)

16 points

6 years ago

699.

Show HN: Fort.js – A modern progress bar for form completion (github.com/idriskhenchil)

15 points

3 years ago

700.

Show HN: FizzBee – Formal Model based autonomous testing (fizzbee.io)

15 points

8 months ago

701.

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

15 points

3 years ago

702.

Show HN: Auto Formatter for File Structures (github.com/benawad)

15 points

6 years ago

703.

Tamei – Categorize Common Lisp Forms by Purity (github.com/cbaggers)

15 points

11 years ago

704.

Show HN: Anysphere, home for important, long-form conversations (gist.github.com)

14 points

4 years ago

705.

Show HN: Paradict – Streamable multi-format serialization with schema (github.com/pyrustic)

14 points

2 years ago

706.

Show HN: Okapi – a metrics engine based on open data formats (github.com/okapi-core)

14 points

10 months ago

707.

Show HN: React-metaform – React component for building forms out of metadata (github.com/gearz-lab)

14 points

11 years ago

708.

Show HN: Extremely simple, fast, efficient, cross-platform serialization format (github.com/RainwayApp)

14 points

5 years ago

709.

Show HN: I just made an All-In-One IP Toolbox form builder open-sourced (github.com/jason5ng32)

14 points

2 years ago

710.

OpenAPT: Description Format for Apt Repositories (github.com/allocloud)

14 points

7 years ago

711.

TermF1: A terminal-style dashboard for Formula 1 (github.com/dk-a-dev)

13 points

3 months ago

712.

IEEE FP8 Formats for Machine Learning (Draft) [pdf] (github.com/P3109)

13 points

2 years ago

713.

Show HN: XMD – An Extensible Markdown Format (github.com/hayeah)

13 points

11 years ago

714.

Show HN: CTON: JSON-compatible, token-efficient text format for LLM prompts (github.com/davidesantangelo)

13 points

7 months ago

715.

Kore: Binary File Format Optimized for Modern Data Systems (Open Source) (github.com/arunkatherashala)

12 points

8 days ago

716.

Show HN: TypeScript Editor that generates structured forms from TypeScript types (tseditor.fwouts.com)

12 points

4 years ago

717.

Redis backed user relationships on its simplest form (github.com/emre)

12 points

11 years ago

718.

A formatter for your kdl files (github.com/hougesen)

12 points

a year ago

719.

Corkami/pics: File format dissections and more (github.com/corkami)

12 points

a year ago

720.

Show HN: Reverb ASR+Diarization, the Best Open Source ASR for Long-Form Audio

12 points

2 years ago