Search: github.com/Form5 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: A formal proof of deMorgan's law in lean

github.com/picrin

10 years ago

3 points

902.

Font made from HTML form elements

1800joe.github.com

13 years ago

3 points

903.

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

github.com/realadeel

4 months ago

3 points

904.

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

12 years ago

3 points

905.

Show HN: LowTeX -- a plaintext formatter

github.com/Hardmath123

12 years ago

3 points

906.

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

github.com/vijayvkrishnan

3 months ago

3 points

907.

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

github.com/pflow-xyz

7 months ago

3 points

908.

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

github.com/matthew-scherf

8 months ago

3 points

909.

Compost is an RPC protocol generator with a simple wire format

github.com/STMicroelectronics

a year ago

3 points

910.

Owl project (OCaml scientific computing) formally concluded

github.com/owlbarn

2 years ago

3 points

911.

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

github.com/ot07

3 years ago

3 points

912.

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

github.com/BaseSecrete

4 years ago

3 points

913.

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

5 years ago

3 points

914.

Blots: A simple paper-based storage format

github.com/lf94

8 years ago

3 points

915.

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

10 years ago

3 points

916.

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

github.com/joetannenbaum

12 years ago

3 points

917.

XCPretty - fast and 100% compatible xcodebuild formatter

github.com/mneorr

13 years ago

3 points

918.

Should I file a lawsuit against my former employer?

gist.github.com

13 years ago

3 points

919.

Issue for formalised proof of P=NP

github.com/TiruArt

22 days ago

3 points

920.

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

25 days ago

3 points

921.

Make2c - Revolutionary Discovery of the Music Math Formula

github.com/sfeltenberg

3 months ago

3 points

922.

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

github.com/aramirez-maza

3 months ago

3 points

923.

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

github.com/Nano-Collective

4 months ago

3 points

924.

Run Moltbot (Formely Clawdbot) on Cloudflare Workers

github.com/cloudflare

5 months ago

3 points

925.

Whenwords – A relative time formatting library, with no code

github.com/dbreunig

5 months ago

3 points

926.

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

github.com/NOQ-DAFFACTOR

7 months ago

3 points

927.

AI satisfies formal structural subjectivity in the S₀ protocol

github.com/jengbeng

7 months ago

3 points

928.

HTML-form an Htmx-like library

github.com/jon49

9 months ago

3 points

929.

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

10 months ago

3 points

930.

FastLanes: Next-Gen Big Data File Format

github.com/cwida

a year ago

3 points