Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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