Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
601.
A full-featured form software built with love in python (github.com/shiyanhui)
64 points
lime66
10 years ago
50 comments
602.
XLParser: A C# parser for Microsoft Excel formulas (github.com/spreadsheetlab)
64 points
mpweiher
11 years ago
14 comments
603.
Formal Requirements Elicitation Tool (github.com/NASA-SW-VnV)
62 points
xo5vik
4 years ago
33 comments
604.
Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels (github.com/Park07)
62 points
anonymoosestdnt
4 months ago
28 comments
605.
Show HN: CodeBuff – smart code formatter (github.com/antlr)
62 points
parrt
10 years ago
21 comments
606.
JSON-Based Universal Messaging Format (2017) (github.com/cjus)
60 points
cjus
8 years ago
54 comments
607.
Show HN: Filling PDF forms with AI using client-side tool calling (copilot.simplepdf.com)
60 points
nip
a month ago
29 comments
608.
Show HN: OpenGL-Shader Tutorial in form of a detailed documented sample project (github.com/MauriceGit)
58 points
EllipticCurve
10 years ago
7 comments
609.
Entrepreneur Manual: Paul Graham's Essays in ePub Format (github.com/davidyang)
57 points
dy
15 years ago
19 comments
610.
Libmobi: C library for handling eBook formats (github.com/bfabiszewski)
56 points
1vuio0pswjnm7
4 years ago
52 comments
611.
4Q: the final archive format (github.com/robey)
56 points
bpierre
11 years ago
46 comments
612.
Show HN: Frockly – A visual editor for understanding complex Excel formulas
56 points
jack_ruru
5 months ago
21 comments
613.
JDF.jl – Julia DataFrames serialization format (github.com/xiaodaigh)
55 points
xgdgsc
3 years ago
60 comments
614.
Show HN: Bepis – Crazy Format for HTML+CSS in JavaScript (github.com/crislin2046)
55 points
catchbepis22
6 years ago
23 comments
615.
Convert JSON to a Unix-friendly line-based format (github.com/dvxhouse)
55 points
adulau
15 years ago
21 comments
616.
Prediction-Encoded Pixels image format (github.com/ENDESGA)
53 points
msephton
9 months ago
11 comments
617.
The Nimble File Format by Meta (github.com/facebookexternal)
52 points
zzulus
2 years ago
21 comments
618.
Show HN: Formal Verification for Machine Learning Models Using Lean 4 (github.com/fraware)
52 points
MADEinPARIS
a year ago
14 comments
619.
Show HN: Rust/WASM lighting data toolkit – parses legacy formats, generates SVGs (eulumdat.icu)
52 points
holg
6 months ago
5 comments
620.
DewDrop – A Formal Language for Social Networks (github.com/neyer)
51 points
fiatjaf
11 years ago
24 comments
621.
Parse strings using a specification based on the Python format() syntax (github.com/r1chardj0n3s)
51 points
trueduke
10 years ago
17 comments
622.
CssConsole - easily make terminal-styled forms (github.com/michalkow)
50 points
reion
14 years ago
18 comments
623.
Electr, a language for electronic formulas (github.com/lkdjiin)
49 points
lkdjiin
11 years ago
20 comments
624.
ODKCollect: Android app for forms, designed for use in challenging environments (github.com/opendatakit)
49 points
huangyz0918
8 years ago
17 comments
625.
Show HN: Chemiscripts: translate ASCII chemical formulas into Unicode (github.com/jwilk)
49 points
jwilk
4 years ago
2 comments
626.
Sear: An always-encrypted tar-like file archive format (github.com/iqlusioninc)
48 points
Perceptes
7 years ago
7 comments
627.
Show HN: I built a P2P network where AI agents publish formally verified science
47 points
FranciscoAngulo
3 months ago
9 comments
628.
Please Review My Responsive Image Format (github.com/DarkLilac)
46 points
DarkLilac
12 years ago
20 comments
629.
Show HN: Video-input, an HTML element that acts like a video form field (github.com/wgryc)
46 points
cl42
6 years ago
15 comments
630.
Show HN: Brawshot – Basic temporal denoise for videos in BRAW format (github.com/hackyourlife)
46 points
an-unknown
2 years ago
6 comments
More