Search: github.com/forem | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms

github.com/realadeel

4 months ago

3 points

932.

Ask HN: Is there a JSON format for specifying a test case?

12 years ago

3 points

933.

Show HN: LowTeX -- a plaintext formatter

github.com/Hardmath123

12 years ago

3 points

934.

Show HN: OpenMix, open-source computational framework for formulation science

github.com/vijayvkrishnan

3 months ago

3 points

935.

Using Petri nets as a formal language for LLM-assisted development

github.com/pflow-xyz

7 months ago

3 points

936.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL

github.com/matthew-scherf

8 months ago

3 points

937.

Compost is an RPC protocol generator with a simple wire format

github.com/STMicroelectronics

a year ago

3 points

938.

Owl project (OCaml scientific computing) formally concluded

github.com/owlbarn

2 years ago

3 points

939.

Show HN: A Prettier plugin for formatting imports in Astro files

github.com/ot07

3 years ago

3 points

940.

Show HN: Active Hashcash – Ruby gem to protect forms against bots

github.com/BaseSecrete

4 years ago

3 points

941.

We created a Chrome extension to spam the anti-abortion vigilante form

5 years ago

3 points

942.

Blots: A simple paper-based storage format

github.com/lf94

8 years ago

3 points

943.

Ask HN: README.tex and math formulas for GitHub?

10 years ago

3 points

944.

Show HN: CLImate – Colors, formatting, and more for PHP in the terminal

github.com/joetannenbaum

12 years ago

3 points

945.

XCPretty - fast and 100% compatible xcodebuild formatter

github.com/mneorr

13 years ago

3 points

946.

Should I file a lawsuit against my former employer?

gist.github.com

13 years ago

3 points

947.

Issue for formalised proof of P=NP

github.com/TiruArt

22 days ago

3 points

948.

Show HN: TIL – a timeline file format with a spiral viewer and editor

25 days ago

3 points

949.

Make2c - Revolutionary Discovery of the Music Math Formula

github.com/sfeltenberg

3 months ago

3 points

950.

BETO – A protocol that formalizes what LLMs don't know

github.com/aramirez-maza

3 months ago

3 points

951.

JSON-up: Stop scattering "if" checks for old JSON formats across your codebase

github.com/Nano-Collective

4 months ago

3 points

952.

Run Moltbot (Formely Clawdbot) on Cloudflare Workers

github.com/cloudflare

5 months ago

3 points

953.

Whenwords – A relative time formatting library, with no code

github.com/dbreunig

5 months ago

3 points

954.

Show HN: Nano.noq – Experimental key-container format

github.com/NOQ-DAFFACTOR

7 months ago

3 points

955.

AI satisfies formal structural subjectivity in the S₀ protocol

github.com/jengbeng

7 months ago

3 points

956.

HTML-form an Htmx-like library

github.com/jon49

9 months ago

3 points

957.

Show HN: SJT- A lightweight structured JSON table format for APIs

10 months ago

3 points

958.

FastLanes: Next-Gen Big Data File Format

github.com/cwida

a year ago

3 points

959.

Show HN: Export Slack messages during your vacation into LLM-friendly format

github.com/banagale

a year ago

3 points

960.

SQLite VFS for ZSTD seekable format

github.com/jtarchie

2 years ago

sharinglinks123

3 points